diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-05-23 09:26:49 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-05-23 09:26:49 +0100 |
commit | be4b3e89e5a7f7ac1bdb88404768764cdeacc270 (patch) | |
tree | 10b961058047f7486070abd689c7b718374c42b9 /maintainers | |
parent | 4aa04d185cff21f3c6ea3e75256835daa621d1e3 (diff) | |
parent | 9668a66948cf16dde38629e0f48770058f791f0b (diff) |
Merge pull request #39603 from Scriptkiddi/master
gams: init at 25.02
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 0c3175823b07..f001ba6be8df 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -140,6 +140,11 @@ github = "roosemberth"; name = "Roosembert (Roosemberth) Palacios"; }; + Scriptkiddi = { + email = "nixos@scriptkiddi.de"; + github = "scriptkiddi"; + name = "Fritz Otlinghaus"; + }; SShrike = { email = "severen@shrike.me"; github = "severen"; |