diff --git a/.github/contributors.json b/.github/contributors.json index 38ab437e2..25a33ed51 100644 --- a/.github/contributors.json +++ b/.github/contributors.json @@ -1047,5 +1047,10 @@ "name": "Fabian Affolter", "github_login": "fabaff", "twitter_username": "fabaff" + }, + { + "name": "Simon Rey", + "github_login": "eqqe", + "twitter_username": "" } ] \ No newline at end of file diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 8ccbf18e3..6649f3fd7 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -1286,6 +1286,13 @@ Listed in alphabetical order.