diff options
Diffstat (limited to 'maintainers/maintainer-list.nix')
-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 8eac070f26c12..71c76f24d42cc 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -9863,6 +9863,12 @@ githubId = 1788628; name = "pandaman"; }; + panicgh = { + email = "nbenes.gh@xandea.de"; + github = "panicgh"; + githubId = 79252025; + name = "Nicolas Benes"; + }; paperdigits = { email = "mica@silentumbrella.com"; github = "paperdigits"; |