about summary refs log tree commit diff
path: root/maintainers
diff options
context:
space:
mode:
authorFabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com>2023-10-20 15:29:57 -0600
committerGitHub <noreply@github.com>2023-10-20 15:29:57 -0600
commitd482d3b5d376c99db07d4461f5bd62af2b7b1396 (patch)
tree5d89457e9b1bac7e0b75e63a9feb704b3b59e102 /maintainers
parentca03f204a225445f9497b2e77161abee5aa10fe0 (diff)
parent190c226bc5b6863dc5994642601cd757ae0d34d9 (diff)
Merge pull request #262309 from mirkolenz/maintainer-mirkolenz
maintainers: add mirkolenz
Diffstat (limited to 'maintainers')
-rw-r--r--maintainers/maintainer-list.nix7
1 files changed, 7 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix
index cba46849dbd14..5294b18995e11 100644
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -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";