diff --git a/.all-contributorsrc b/.all-contributorsrc index fe5da198674..cc2c846673e 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -2327,6 +2327,16 @@ "contributions": [ "code" ] + }, + { + "login": "justsomescripts", + "name": "David Gries", + "avatar_url": "https://avatars.githubusercontent.com/u/105990982?v=4", + "profile": "https://dgries.de", + "contributions": [ + "bug", + "code" + ] } ], "contributorsPerLine": 7, diff --git a/.github/README.md b/.github/README.md index 1270c7997d5..df64cc9244c 100644 --- a/.github/README.md +++ b/.github/README.md @@ -87,7 +87,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-250-orange.svg?style=for-the-badge)](#contributors) +[![All Contributors](https://img.shields.io/badge/all_contributors-251-orange.svg?style=for-the-badge)](#contributors) Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/docs/en/emoji-key)): @@ -420,6 +420,7 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d Morgan Hunter
Morgan Hunter

💻 Aleksandr Oleinikov
Aleksandr Oleinikov

💻 Jamie
Jamie

💻 + David Gries
David Gries

🐛 💻