diff options
| -rw-r--r-- | maintainers/maintainer-list.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainers/maintainer-list.nix b/maintainers/maintainer-list.nix index fee2009b2a055..c1649ea3c4400 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"; |