maintainers: add mynacol

2023-03-26 23:03:14 +02:00
parent 151981821c
commit 1faef68068
1 changed files with 5 additions and 0 deletions
@@ -10540,6 +10540,11 @@
    githubId = 6295090;
    name = "Mats";
  };
+  mynacol = {
+    github = "Mynacol";
+    githubId = 26695166;
+    name = "Paul Prechtel";
+  };
  myrl = {
    email = "myrl.0xf@gmail.com";
    github = "Myrl";