diff options
author | lewo <lewo@abesis.fr> | 2018-03-20 20:40:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-20 20:40:39 +0100 |
commit | ba96a902adad083b11af927fef390f59b15bd2c1 (patch) | |
tree | 5d0b588ae8c4be3cd9359488980cab4f2c071ef5 /maintainers | |
parent | 918edbe485333376549aef70f923dd224bca6395 (diff) | |
parent | 86ff559f8282cdffd108933f48f9d3b13539ab74 (diff) |
Merge pull request #36988 from hschaeidt/stabber
stabber: init at 2016-11-09
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 867cd0b488889..98ef6fd612e3a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -1552,6 +1552,11 @@ github = "hrdinka"; name = "Christoph Hrdinka"; }; + hschaeidt = { + email = "he.schaeidt@gmail.com"; + github = "hschaeidt"; + name = "Hendrik Schaeidt"; + }; htr = { email = "hugo@linux.com"; github = "htr"; |