diff --git a/.all-contributorsrc b/.all-contributorsrc index 95ebc05d6e..929528f614 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -7517,7 +7517,8 @@ "avatar_url": "https://avatars.githubusercontent.com/u/18402464?v=4", "profile": "https://github.com/mitchspano", "contributions": [ - "bug" + "bug", + "code" ] }, { diff --git a/docs/pages/pmd/projectdocs/credits.md b/docs/pages/pmd/projectdocs/credits.md index 9497ea7378..0213cced3c 100644 --- a/docs/pages/pmd/projectdocs/credits.md +++ b/docs/pages/pmd/projectdocs/credits.md @@ -13,1110 +13,1109 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d