Add @nvervelle as a contributor

2022-11-25 19:26:15 +01:00 · 2022-11-25 19:26:15 +01:00 · 9c42eba8b5
commit 9c42eba8b5
parent 335a12fe1b
2 changed files with 62 additions and 52 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -7033,6 +7033,15 @@
      "contributions": [
        "bug"
      ]
+    },
+    {
+      "login": "nvervelle",
+      "name": "Nicolas Vervelle",
+      "avatar_url": "https://avatars.githubusercontent.com/u/77850427?v=4",
+      "profile": "https://www.quicksign.com/en/",
+      "contributions": [
+        "bug"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md