diff --git a/.all-contributorsrc b/.all-contributorsrc index 53154a2c8ed..da6bd5f7bf1 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -1892,6 +1892,15 @@ "contributions": [ "doc" ] + }, + { + "login": "waflint", + "name": "waflint", + "avatar_url": "https://avatars.githubusercontent.com/u/94139453?v=4", + "profile": "https://github.com/waflint", + "contributions": [ + "code" + ] } ], "contributorsPerLine": 7, diff --git a/.github/README.md b/.github/README.md index ae2dd29570b..dd02ca66237 100644 --- a/.github/README.md +++ b/.github/README.md @@ -124,7 +124,7 @@ A lot of our work is based on the great effort of others. We would love to exten ## Contributors ✨ -[![All Contributors](https://img.shields.io/badge/all_contributors-202-orange.svg?style=for-the-badge)](#contributors) +[![All Contributors](https://img.shields.io/badge/all_contributors-203-orange.svg?style=for-the-badge)](#contributors) Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/docs/en/emoji-key)): @@ -395,6 +395,7 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d