diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index d39369fab03d..2266cfc07544 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6422,6 +6422,11 @@ githubId = 726447; name = "Francisco Demartino"; }; + frankp = { + github = "MDM23"; + githubId = 10290864; + name = "Peter Frank"; + }; franzmondlichtmann = { name = "Franz Schroepf"; email = "franz-schroepf@t-online.de";