hackage2nix: Add Gabriel439 as maintainer

2021-05-17 12:09:12 +09:00
parent c964bdf195
commit 4f48006a0c
3 changed files with 91 additions and 2 deletions
@@ -3585,6 +3585,12 @@
    githubId = 606000;
    name = "Gabriel Adomnicai";
  };
+  Gabriel439 = {
+    email = "Gabriel439@gmail.com";
+    github = "Gabriel439";
+    githubId = 1313787;
+    name = "Gabriel Gonzalez";
+  };
  gal_bolle = {
    email = "florent.becker@ens-lyon.org";
    github = "FlorentBecker";