maintainers: arcadio, update email

2025-07-02 19:37:53 +02:00
parent 70698c422b
commit e2a7055c10
1 changed files with 1 additions and 1 deletions
@@ -1928,7 +1928,7 @@
    name = "Arbel Arad";
  };
  arcadio = {
-    email = "arc@well.ox.ac.uk";
+    email = "git.obtrusive281@passinbox.com";
    github = "arcadio";
    githubId = 56009;
    name = "Arcadio Rubio García";