maintainers: add mrene

2023-03-24 18:21:13 -04:00
parent 2e4e45290e
commit 44caa1102a
1 changed files with 6 additions and 0 deletions
@@ -10327,6 +10327,12 @@
    githubId = 3073833;
    name = "Massimo Redaelli";
  };
+  mrene = {
+    email = "mathieu.rene@gmail.com";
+    github = "mrene";
+    githubId = 254443;
+    name = "Mathieu Rene";
+  };
  mrfreezeex = {
    email = "arthur@cri.epita.fr";
    github = "MrFreezeex";