diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index e89b81ec0e96..40185f7e0679 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -12458,6 +12458,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";