diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index c58b8b6b951..486c79b718a 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -13601,6 +13601,12 @@ github = "jpagex"; githubId = 635768; }; + portothree = { + name = "Gustavo Porto"; + email = "gustavoporto@ya.ru"; + github = "portothree"; + githubId = 3718120; + }; pwoelfel = { name = "Philipp Woelfel"; email = "philipp.woelfel@gmail.com";