diff options
author | Peter Simons <simons@cryp.to> | 2018-04-06 10:54:57 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-04-06 10:54:57 +0200 |
commit | 935526e181f5b0963616c6f558c2094c4d8690e3 (patch) | |
tree | a90233899ac9bbc32cbd38d50e931501a9892ae7 /maintainers | |
parent | fac2951d8b31922ab7f1c0286ffffe2252d42d82 (diff) | |
parent | c6a9e3a911e59f7b687b5378e0c58ef1dd0625c2 (diff) |
Merge pull request #38288 from ElvishJerricco/elvishjerricco-ghcjs-maintainer
Added ElvishJerricco to GHCJS maintainers
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 91535b2f1c339..f881f07e5b263 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1186,6 +1186,11 @@ github = "ellis"; name = "Ellis Whitehead"; }; + elvishjerricco = { + email = "elvishjerricco@gmail.com"; + github = "ElvishJerricco"; + name = "Will Fancher"; + }; enzime = { email = "enzime@users.noreply.github.com"; github = "enzime"; |