Add @devnull as a contributor

2025-08-02 15:06:18 -07:00
parent 504810013c
commit 1b36968c27
2 changed files with 11 additions and 1 deletions
--- a/.all-contributorsrc
+++ b/.all-contributorsrc
@@ -648,6 +648,15 @@
      "contributions": [
        "code"
      ]
+    },
+    {
+      "login": "devnull",
+      "name": "Mike Bentzen",
+      "avatar_url": "https://avatars.githubusercontent.com/u/56172?v=4",
+      "profile": "https://github.com/devnull",
+      "contributions": [
+        "code"
+      ]
    }
  ],
  "contributorsPerLine": 7