maintainers: add fmhoeger

2023-11-18 12:19:59 -06:00
parent 867939d701
commit 36633ed087
1 changed files with 6 additions and 0 deletions
@@ -5948,6 +5948,12 @@
    githubId = 74379;
    name = "Florian Pester";
  };
+  fmhoeger = {
+    email = "fmhoeger@mirsem.org";
+    name = "fmhoeger";
+    github = "fmhoeger";
+    githubId = 59626853;
+  };
  fmoda3 = {
    email = "fmoda3@mac.com";
    github = "fmoda3";