maintainers: add rodrgz

2022-11-08 12:25:30 -03:00
parent d15b54d045
commit f9104ee973
1 changed files with 6 additions and 0 deletions
@@ -11799,6 +11799,12 @@
    githubId = 852967;
    name = "Russell O'Connor";
  };
+  rodrgz = {
+    email = "rodrgz@proton.me";
+    github = "rodrgz";
+    githubId = 53882428;
+    name = "Erik Rodriguez";
+  };
  roelvandijk = {
    email = "roel@lambdacube.nl";
    github = "roelvandijk";