diff options
author | Peter Simons <simons@cryp.to> | 2018-03-13 13:29:17 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-13 13:29:17 +0100 |
commit | 54ade273e7a677ec35e501174d86d253d9d8dede (patch) | |
tree | 0e70a3fd7cfd8d0e501f067e6a8d6e4abef173bb /maintainers | |
parent | 2aa8a208b0e37dcbdccc6cbd25b0769ea91628f6 (diff) | |
parent | 46f9e1063618679e8370d22ffe236f59ae99cb65 (diff) |
Merge pull request #36526 from idontgetoutmuch/master
Add sundials
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 000d3123e68ee..2f4e435567315 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1548,6 +1548,11 @@ github = "iblech"; name = "Ingo Blechschmidt"; }; + idontgetoutmuch = { + email = "dominic@steinitz.org"; + github = "idontgetoutmuch"; + name = "Dominic Steinitz"; + }; igsha = { email = "igor.sharonov@gmail.com"; github = "igsha"; |