Merge pull request #262309 from mirkolenz/maintainer-mirkolenz

maintainers: add mirkolenz
2023-10-20 15:29:57 -06:00
parent ca03f204a2 190c226bc5
commit d482d3b5d3
1 changed files with 7 additions and 0 deletions
@@ -11667,6 +11667,13 @@
    githubId = 149558;
    name = "Merlin Gaillard";
  };
+  mirkolenz = {
+    name = "Mirko Lenz";
+    email = "mirko@mirkolenz.com";
+    matrix = "@mlenz:matrix.org";
+    github = "mirkolenz";
+    githubId = 5160954;
+  };
  mirrexagon = {
    email = "mirrexagon@mirrexagon.com";
    github = "mirrexagon";