maintainers: add dotmobo

2024-11-15 09:58:28 +01:00
parent 3ebb8fda09
commit 4acbb94bcc
1 changed files with 6 additions and 0 deletions
@@ -5673,6 +5673,12 @@
    githubId = 6806011;
    name = "Robert Schütz";
  };
+  dotmobo = {
+    email = "morgan.bohn@gmail.com";
+    github = "dotmobo";
+    githubId = 1997638;
+    name = ".mobo";
+  };
  dottedmag = {
    email = "dottedmag@dottedmag.net";
    github = "dottedmag";