diff --git a/.github/contributors.json b/.github/contributors.json index d5830b4b5..f28bf7bf4 100644 --- a/.github/contributors.json +++ b/.github/contributors.json @@ -1743,5 +1743,10 @@ "name": "Vincent Leduc", "github_login": "leducvin", "twitter_username": "" + }, + { + "name": "Martín Blech", + "github_login": "martinblech", + "twitter_username": "" } ] \ No newline at end of file diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 9d4b7ff45..363d1d714 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -1608,6 +1608,13 @@ Listed in alphabetical order.