diff --git a/.all-contributorsrc b/.all-contributorsrc index ee11523f44..08ed5d9620 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -4009,6 +4009,15 @@ "contributions": [ "code" ] + }, + { + "login": "juanfont", + "name": "Juan Font", + "avatar_url": "https://avatars.githubusercontent.com/u/181059?v=4", + "profile": "https://github.com/juanfont", + "contributions": [ + "code" + ] } ] } diff --git a/CONTRIBUTORS.md b/CONTRIBUTORS.md index 2985e0667e..0ba0042863 100644 --- a/CONTRIBUTORS.md +++ b/CONTRIBUTORS.md @@ -574,6 +574,7 @@ Thanks goes to all of these wonderful people ([emoji key](https://github.com/ken