diff options
author | Fabián Heredia Montiel <303897+fabianhjr@users.noreply.github.com> | 2023-10-20 15:29:57 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-10-20 15:29:57 -0600 |
commit | d482d3b5d376c99db07d4461f5bd62af2b7b1396 (patch) | |
tree | 5d89457e9b1bac7e0b75e63a9feb704b3b59e102 | |
parent | ca03f204a225445f9497b2e77161abee5aa10fe0 (diff) | |
parent | 190c226bc5b6863dc5994642601cd757ae0d34d9 (diff) |
Merge pull request #262309 from mirkolenz/maintainer-mirkolenz
maintainers: add mirkolenz
-rw-r--r-- | maintainers/maintainer-list.nix | 7 |
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"; |