maintainers: change victormignot e-mail

2022-09-29 11:50:32 -04:00
parent 26c27a7a0b
commit 5f87f6f3a0
1 changed files with 1 additions and 1 deletions
@@ -14050,7 +14050,7 @@
    name = "Dmitry Kalinkin";
  };
  victormignot = {
-    email = "victor.mignot@protonmail.com";
+    email = "root@victormignot.fr";
    github = "victormignot";
    githubId = 58660971;
    name = "Victor Mignot";