diff --git a/.all-contributorsrc b/.all-contributorsrc index 80c63da693..32fc4d05af 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -3928,6 +3928,15 @@ "contributions": [ "code" ] + }, + { + "login": "fabiang", + "name": "Fabian Grutschus", + "avatar_url": "https://avatars.githubusercontent.com/u/348344?v=4", + "profile": "https://github.com/fabiang", + "contributions": [ + "code" + ] } ] } diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index f0ae2c4709..db17d46b06 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -561,6 +561,7 @@ Thanks goes to all of these wonderful people ([emoji key](https://github.com/ken