diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-03-19 00:10:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-19 00:10:07 +0000 |
commit | 3ceb4198463b32705e589429b83523dc032f6feb (patch) | |
tree | 3710845e17d05053c2c1c134173e4020a7bb7210 /maintainers | |
parent | d6d71873fce594d7d66903cccad1cc1172a0407a (diff) | |
parent | f18433bac5281dcbca6fee053fe658b4fcc64d15 (diff) |
Merge master into haskell-updates
Diffstat (limited to 'maintainers')
-rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index e26d693c39c1c..3acbd8d234383 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -10386,6 +10386,12 @@ githubId = 22803888; name = "Lu Hongxu"; }; + rgnns = { + email = "jglievano@gmail.com"; + github = "rgnns"; + githubId = 811827; + name = "Gabriel Lievano"; + }; rgrunbla = { email = "remy@grunblatt.org"; github = "rgrunbla"; |