maintainers: Update email for Zimmi48

2023-02-13 18:53:48 +08:00
parent c61dd3fe95
commit c4a8d9735c
1 changed files with 1 additions and 1 deletions
@@ -16490,7 +16490,7 @@
    name = "zimbatm";
  };
  Zimmi48 = {
-    email = "theo.zimmermann@univ-paris-diderot.fr";
+    email = "theo.zimmermann@telecom-paris.fr";
    github = "Zimmi48";
    githubId = 1108325;
    name = "Théo Zimmermann";