diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2023-04-09 00:13:01 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-09 00:13:01 +0000 |
| commit | 312c64bc68519a732e181a037526dbd56d2d6708 (patch) | |
| tree | 81bc79a84e553af7b0c82dc9ed2ce3cfa0988ab1 /maintainers | |
| parent | c2a4e923c177b392cad22c0246cdde5c3cf996bb (diff) | |
| parent | 4b281919b142bb68fa5f473227d04a0b423b18cf (diff) | |
Merge master into haskell-updates
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/maintainer-list.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index eb4ccd5f15daa..e29c2cc8e16c5 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1180,6 +1180,12 @@ githubId = 58516559; name = "Alexander Rezvov"; }; + arian-d = { + email = "arianxdehghani@gmail.com"; + github = "arian-d"; + githubId = 40076285; + name = "Arian Dehghani"; + }; arianvp = { email = "arian.vanputten@gmail.com"; github = "arianvp"; @@ -3679,6 +3685,12 @@ githubId = 706758; name = "Christian Gerbrandt"; }; + derdennisop = { + email = "dennish@wuitz.de"; + github = "derdennisop"; + githubId = 52411861; + name = "Dennis"; + }; derekcollison = { email = "derek@nats.io"; github = "derekcollison"; |