maintainers: add rmgpinto

2024-03-22 07:04:15 +00:00
parent bf25e39197
commit 0db1831f22
1 changed files with 6 additions and 0 deletions
@@ -16617,6 +16617,12 @@
    githubId = 641278;
    name = "Robert T. McGibbon";
  };
+  rmgpinto = {
+    email = "hessian_loom_0u@icloud.com";
+    github = "rmgpinto";
+    githubId = 24584;
+    name = "Ricardo Gândara Pinto";
+  };
  rnhmjoj = {
    email = "rnhmjoj@inventati.org";
    matrix = "@rnhmjoj:maxwell.ydns.eu";