Merge pull request #203940 from portothree/master

mantainers: update portothree email
2022-12-01 11:04:32 -05:00
parent 3dc19ce82d bd2f80eaf9
commit d542f05081
1 changed files with 1 additions and 1 deletions
@@ -15802,7 +15802,7 @@
  };
  portothree = {
    name = "Gustavo Porto";
-    email = "gustavoporto@ya.ru";
+    email = "gus@p8s.co";
    github = "portothree";
    githubId = 3718120;
  };