maintainers: add gernotfeichter

2023-11-23 21:08:21 +01:00
parent 0b59886c20
commit 031a2c01aa
1 changed files with 6 additions and 0 deletions
@@ -6515,6 +6515,12 @@
    githubId = 67984144;
    name = "Gerhard Schwanzer";
  };
+  gernotfeichter = {
+    email = "gernotfeichter@gmail.com";
+    github = "gernotfeichter";
+    githubId = 23199375;
+    name = "Gernot Feichter";
+  };
  gerschtli = {
    email = "tobias.happ@gmx.de";
    github = "Gerschtli";