Add @harbulot as a contributor

2023-10-06 19:44:21 +02:00 · 2023-10-06 19:44:21 +02:00 · f7c913084a
commit f7c913084a
parent e31c77c101
2 changed files with 109 additions and 97 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -7259,6 +7259,15 @@
      "contributions": [
        "bug"
      ]
+    },
+    {
+      "login": "harbulot",
+      "name": "Bruno Harbulot",
+      "avatar_url": "https://avatars.githubusercontent.com/u/80994?v=4",
+      "profile": "http://blog.distributedmatter.net/",
+      "contributions": [
+        "bug"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md