maintainers: arcadio, update email (#421861)

2025-07-02 23:55:40 +02:00
parent 169b52904c e2a7055c10
commit 8a10907bbe
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";