From e2fbe21917bdcfc20e148c2927a3273c8240abfd Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Thu, 30 Jun 2022 15:09:01 +0200 Subject: [PATCH] Update @jborgers as a contributor --- .all-contributorsrc | 3 ++- docs/pages/pmd/projectdocs/credits.md | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.all-contributorsrc b/.all-contributorsrc index 77965bd302..01cc1f2486 100644 --- a/.all-contributorsrc +++ b/.all-contributorsrc @@ -3267,7 +3267,8 @@ "avatar_url": "https://avatars.githubusercontent.com/u/24591067?v=4", "profile": "https://github.com/jborgers", "contributions": [ - "bug" + "bug", + "code" ] }, { diff --git a/docs/pages/pmd/projectdocs/credits.md b/docs/pages/pmd/projectdocs/credits.md index af2199ce28..db3d56e52f 100644 --- a/docs/pages/pmd/projectdocs/credits.md +++ b/docs/pages/pmd/projectdocs/credits.md @@ -330,7 +330,7 @@ Thanks goes to these wonderful people ([emoji key](https://allcontributors.org/d
Jens Gerdes

🐛 -
Jeroen Borgers

🐛 +
Jeroen Borgers

🐛 💻
Jerome Russ

🐛
JerritEic

💻 📖
Jiri Pejchal

🐛