Merge pull request #218792 from MrFreezeex/fix-maintainer

maintainers: fix @MrFreezeex githubid
2023-02-28 13:57:03 +02:00
parent 0de5a943cd 4819abf7f4
commit d16ef18ef6
1 changed files with 1 additions and 1 deletions
@@ -10147,7 +10147,7 @@
    email = "arthur@cri.epita.fr";
    github = "MrFreezeex";
    name = "Arthur Outhenin-Chalandre";
-    githubId = 14573967;
+    githubId = 3845213;
  };
  mrityunjaygr8 = {
    email = "mrityunjaysaxena1996@gmail.com";