diff options
author | github-actions[bot] | 2022-08-04 00:13:57 +0000 |
---|---|---|
committer | GitHub | 2022-08-04 00:13:57 +0000 |
commit | 9b65c7a2b7de777fd7f1c282803f361fddb8474a (patch) | |
tree | aea6759d3bd2e5cdfc55d6f21ccdfcfbea09f853 /maintainers | |
parent | 1d51c8b324f67a3a98d416e77300973777dcd877 (diff) | |
parent | 7b5ac19d7b5f6e029001b101cab7b73b7a45ed71 (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 8eac070f26c1..dddc6290d4a2 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -8083,6 +8083,12 @@ githubId = 1711539; name = "matklad"; }; + matrss = { + name = "Matthias Riße"; + email = "matthias.risze@t-online.de"; + github = "matrss"; + githubId = 9308656; + }; matt-snider = { email = "matt.snider@protonmail.com"; github = "matt-snider"; |