Merge pull request #197493 from mgttlinger/namechange

maintainers: update mgttlinger's name
2022-10-24 22:21:19 +08:00
parent eafdbcc9b4 3758f7fa4a
commit 22aa6dcbac
1 changed files with 1 additions and 1 deletions
@@ -8803,7 +8803,7 @@
    email = "megoettlinger@gmail.com";
    github = "mgttlinger";
    githubId = 5120487;
-    name = "Merlin Göttlinger";
+    name = "Merlin Humml";
  };
  mguentner = {
    email = "code@klandest.in";