diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2024-03-01 11:49:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-01 11:49:52 +0100 |
commit | 2d0c2dbdf0665d2135b5e8f85d16ad7bc6c89501 (patch) | |
tree | 1cb39eb3029fd56dde4e131952569f18b2806bbf /maintainers | |
parent | b2280d1c9da97ef7bd4fc1a4a75572a494a678fc (diff) | |
parent | fdd3d04748dd0b26e9ac3dd02721f72fae41d3a1 (diff) |
Merge pull request #291476 from MichaelCDormann/roon-tui
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index e25af81c96a8..96a050321226 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -12495,6 +12495,12 @@ github = "MichaelBrunn3r"; githubId = 19626539; }; + MichaelCDormann = { + email = "michael.c.dormann@gmail.com"; + name = "Michael Dormann"; + github = "MichaelCDormann"; + githubId = 12633081; + }; michaelCTS = { email = "michael.vogel@cts.co"; name = "Michael Vogel"; |