maintainers: add Philipp-M

2021-06-07 11:34:59 +02:00
parent 41387135dd
commit 7969b9d1a8
1 changed files with 6 additions and 0 deletions
@@ -7941,6 +7941,12 @@
    githubId = 1640697;
    name = "Philipp Hausmann";
  };
+  Philipp-M = {
+    email = "philipp@mildenberger.me";
+    github = "Philipp-M";
+    githubId = 9267430;
+    name = "Philipp Mildenberger";
+  };
  Phlogistique = {
    email = "noe.rubinstein@gmail.com";
    github = "Phlogistique";