Add @rbri as a contributor

2024-07-25 13:06:14 +02:00 · 2024-07-25 13:06:14 +02:00 · c194d3ed0d
commit c194d3ed0d
parent 41393d4637
2 changed files with 60 additions and 50 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -7699,6 +7699,15 @@
      "contributions": [
        "bug"
      ]
+    },
+    {
+      "login": "rbri",
+      "name": "RBRi",
+      "avatar_url": "https://avatars.githubusercontent.com/u/2544132?v=4",
+      "profile": "https://github.com/rbri",
+      "contributions": [
+        "bug"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md