maintainers: add arcnmx

2019-10-15 10:08:46 -07:00
parent e071809101
commit e59b60310a
1 changed files with 6 additions and 0 deletions
--- a/maintainers/maintainer-list.nix
+++ b/maintainers/maintainer-list.nix
@@ -546,6 +546,12 @@
    githubId = 56009;
    name = "Arcadio Rubio García";
  };
+  arcnmx = {
+    email = "arcnmx@users.noreply.github.com";
+    github = "arcnmx";
+    githubId = 13426784;
+    name = "arcnmx";
+  };
  ardumont = {
    email = "eniotna.t@gmail.com";
    github = "ardumont";