maintainers: add MichaelCDormann

2024-02-25 22:25:44 -06:00
parent af810fc67e
commit 0aca8bdd4a
1 changed files with 6 additions and 0 deletions
@@ -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";