maintainers: add benesim

2022-11-06 19:42:53 +01:00
parent 741b917812
commit 370468638e
1 changed files with 9 additions and 0 deletions
@@ -1648,6 +1648,15 @@
    githubId = 214787;
    name = "Herwig Hochleitner";
  };
+  benesim = {
+    name = "Benjamin Isbarn";
+    email = "benjamin.isbarn@gmail.com";
+    github = "benesim";
+    githubId = 29384538;
+    keys = [{
+      fingerprint = "D35E C9CE E631 638F F1D8  B401 6F0E 410D C3EE D02";
+    }];
+  };
  benley = {
    email = "benley@gmail.com";
    github = "benley";