diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index 92db70b37f4f..251310c20377 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -9302,6 +9302,12 @@ githubId = 471835; name = "Giorgio Gallo"; }; + gipphe = { + email = "gipphe@gmail.com"; + github = "Gipphe"; + githubId = 2266817; + name = "Victor Nascimento Bakke"; + }; GirardR1006 = { email = "julien.girard2@cea.fr"; github = "GirardR1006";