diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index fee2009b2a05..c1649ea3c440 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -6251,6 +6251,12 @@ githubId = 471835; name = "Giorgio Gallo"; }; + GirardR1006 = { + email = "julien.girard2@cea.fr"; + github = "GirardR1006"; + githubId = 19275558; + name = "Julien Girard-Satabin"; + }; GKasparov = { email = "mizozahr@gmail.com"; github = "GKasparov";