diff --git a/.all-contributorsrc b/.all-contributorsrc index 9c4c687a9d..4582e1d220 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -3514,6 +3514,15 @@ "contributions": [ "code" ] + }, + { + "login": "robintemme", + "name": "Robin Temme", + "avatar_url": "https://avatars.githubusercontent.com/u/2809241?v=4", + "profile": "https://robintemme.de/", + "contributions": [ + "code" + ] } ] } diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 164b4fbbe4..3e4e10c85a 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -503,6 +503,7 @@ Thanks goes to all of these wonderful people ([emoji key](https://github.com/ken