maintainers: add DerGrumpf

2026-06-08 19:50:39 +02:00
parent 3b5ec87c52
commit 6f45ba6c6d
1 changed files with 6 additions and 0 deletions
@@ -6682,6 +6682,12 @@
    githubId = 90097;
    name = "Derek Collison";
  };
+  DerGrumpf = {
+    email = "phil.keier@hotmail.com";
+    github = "DerGrumpf";
+    githubId = 17272572;
+    name = "Phil Keier";
+  };
  DerGuteMoritz = {
    email = "moritz@twoticketsplease.de";
    github = "DerGuteMoritz";