Add @ethauvin as a contributor

2023-11-10 08:52:23 +01:00 · 2023-11-10 08:52:23 +01:00 · 6567cfe0cf
commit 6567cfe0cf
parent 08de860ed9
2 changed files with 1031 additions and 1023 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@ -7278,6 +7278,15 @@
        "bug",
        "code"
      ]
+    },
+    {
+      "login": "ethauvin",
+      "name": "Erik C. Thauvin",
+      "avatar_url": "https://avatars.githubusercontent.com/u/705618?v=4",
+      "profile": "https://erik.thauvin.net/",
+      "contributions": [
+        "doc"
+      ]
    }
  ],
  "contributorsPerLine": 7,
--- a/docs/pages/pmd/projectdocs/credits.md
+++ b/docs/pages/pmd/projectdocs/credits.md