Add @filipponova as a contributor

2022-05-26 15:27:14 +02:00 · 2022-05-26 15:27:14 +02:00 · 108b670268
commit 108b670268
parent 67629e13d0
2 changed files with 88 additions and 78 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -6675,6 +6675,15 @@
      "contributions": [
        "code"
      ]
+    },
+    {
+      "login": "filipponova",
+      "name": "Filippo Nova",
+      "avatar_url": "https://avatars.githubusercontent.com/u/12506636?v=4",
+      "profile": "https://github.com/filipponova",
+      "contributions": [
+        "bug"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md