maintainers: add devplayer0

2024-02-02 13:06:18 +07:00
parent 06da8f604e
commit 4cf92787c8
1 changed files with 6 additions and 0 deletions
@@ -4657,6 +4657,12 @@
    githubId = 30475873;
    name = "Andrei Hava";
  };
+  devplayer0 = {
+    email = "dev@nul.ie";
+    github = "devplayer0";
+    githubId = 1427254;
+    name = "Jack O'Sullivan";
+  };
  devusb = {
    email = "mhelton@devusb.us";
    github = "devusb";