diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index cbb7ef09dfb..e449babb0aa 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -7563,6 +7563,12 @@ githubId = 28323; name = "Peter Simons"; }; + petrosagg = { + email = "petrosagg@gmail.com"; + github = "petrosagg"; + githubId = 939420; + name = "Petros Angelatos"; + }; petterstorvik = { email = "petterstorvik@gmail.com"; github = "storvik";