maintainers: add holgerpeters

This commit is contained in:
Holger Peters 2021-01-19 07:22:55 +01:00
parent d6d4228b39
commit ab69a355fe

View file

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