maintainers: add portothree

2022-01-11 21:49:56 -06:00
parent 7c50aeaf11
commit 88382b95bf
1 changed files with 6 additions and 0 deletions
@@ -13601,6 +13601,12 @@
    github = "jpagex";
    githubId = 635768;
  };
+  portothree = {
+    name = "Gustavo Porto";
+    email = "gustavoporto@ya.ru";
+    github = "portothree";
+    githubId = 3718120;
+  };
  pwoelfel = {
    name = "Philipp Woelfel";
    email = "philipp.woelfel@gmail.com";