maintainers: add frankp

This commit is contained in:
Peter Frank 2023-12-05 09:33:43 +01:00
parent cadbb71439
commit f08e682641

View File

@ -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";