diff options
author | Sandro <sandro.jaeckel@gmail.com> | 2021-01-31 18:26:09 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-31 18:26:09 +0100 |
commit | 51f74e3cb70998d249867a0a2b67e810dd749558 (patch) | |
tree | 2e96081a794903dfe92a54754b16884968dd39a4 /maintainers | |
parent | 94b3465cbc3e01be0376405d17420185119666b5 (diff) | |
parent | f11000ea50e2737b68ce9e0c48a59818e6e4da71 (diff) |
Merge pull request #109565 from HolgerPeters/master
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 09279ac608fa..cdc036823b44 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -3741,6 +3741,12 @@ githubId = 130903; name = "Ana Hobden"; }; + holgerpeters = { + name = "Holger Peters"; + email = "holger.peters@posteo.de"; + github = "HolgerPeters"; + githubId = 4097049; + }; hrdinka = { email = "c.nix@hrdinka.at"; github = "hrdinka"; |