Merge pull request #252146 from LudovicoPiero/ludovico-email-update

2023-08-29 17:42:03 +03:00
parent c680330b76 65f8fbba27
commit 19d9d80a7c
1 changed files with 1 additions and 1 deletions
@@ -10098,7 +10098,7 @@
    name = "Ludovic Courtès";
  };
  ludovicopiero = {
-    email = "ludovicopiero@pm.me";
+    email = "lewdovico@gnuweeb.org";
    github = "ludovicopiero";
    githubId = 44255157;
    name = "Ludovico Piero";