diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 8eac070f26c1..71c76f24d42c 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";