maintainers: add flyfloh

2020-01-13 10:34:46 -08:00
parent 57d0c8106c
commit 775f3e037e
1 changed files with 6 additions and 0 deletions
@@ -2439,6 +2439,12 @@
    githubId = 844574;
    name = "Daniel Austin";
  };
+  flyfloh = {
+    email = "nix@halbmastwurf.de";
+    github = "flyfloh";
+    githubId = 74379;
+    name = "Florian Pester";
+  };
  fmthoma = {
    email = "f.m.thoma@googlemail.com";
    github = "fmthoma";