maintainers: add rvarago

2021-05-29 19:42:39 +02:00
parent 0d698e6186
commit ff58fe96fd
1 changed files with 6 additions and 0 deletions
@@ -8795,6 +8795,12 @@
    githubId = 506953;
    name = "Ruud van Asseldonk";
  };
+  rvarago = {
+    email = "rafael.varago@gmail.com";
+    github = "rvarago";
+    githubId = 7365864;
+    name = "Rafael Varago";
+  };
  rvl = {
    email = "dev+nix@rodney.id.au";
    github = "rvl";