add penalty1083 as maintainer

2023-03-09 13:07:58 +08:00
parent a71e45961e
commit 897a7425e3
1 changed files with 6 additions and 0 deletions
@@ -11536,6 +11536,12 @@
    githubId = 1368952;
    name = "Pedro Lara Campos";
  };
+  penalty1083 = {
+    email = "penalty1083@outlook.com";
+    github = "penalty1083";
+    githubId = 121009904;
+    name = "penalty1083";
+  };
  penguwin = {
    email = "penguwin@penguwin.eu";
    github = "penguwin";