diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 15af233ea29a..83c2dfb9caeb 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -17521,6 +17521,12 @@ githubId = 28323; name = "Peter Simons"; }; + petingoso = { + email = "petingavasco@protonmail.com"; + github = "Petingoso"; + githubId = 92183955; + name = "Vasco Petinga"; + }; petrkozorezov = { email = "petr.kozorezov@gmail.com"; github = "petrkozorezov";