maintainsers: add lukas-heiligenbrunner

2023-11-30 11:27:59 +01:00
parent ecef65f019
commit 183f87466d
1 changed files with 6 additions and 0 deletions
@@ -10746,6 +10746,12 @@
      fingerprint = "97A0 AE5E 03F3 499B 7D7A  65C6 76A4 1432 37EF 5817";
    }];
  };
+  lukas-heiligenbrunner = {
+    email = "lukas.heiligenbrunner@gmail.com";
+    github = "lukas-heiligenbrunner";
+    githubId = 30468956;
+    name = "Lukas Heiligenbrunner";
+  };
  lukaswrz = {
    email = "lukas@wrz.one";
    github = "lukaswrz";