diff options
author | Gaetan Lepage <gaetan.lepage@inria.fr> | 2022-05-23 16:15:15 +0200 |
---|---|---|
committer | Gaetan Lepage <gaetan.lepage@inria.fr> | 2022-05-23 16:15:15 +0200 |
commit | b5917a7ff46c7d45a7b99570248553277cbc62b5 (patch) | |
tree | 463ff6e58861ad410eea20654b10af149bd051e0 | |
parent | 240372310855f63545c486c722e5e87526c50665 (diff) |
maintainers: add GaetanLepage
-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 d8eaff4a0d8d2..be927055f86f9 100644 --- a/maintainers/maintainer-list.nix +++ b/maintainers/maintainer-list.nix @@ -4519,6 +4519,12 @@ fingerprint = "0200 3EF8 8D2B CF2D 8F00 FFDC BBB3 E40E 5379 7FD9"; }]; }; + GaetanLepage = { + email = "gaetan@glepage.com"; + github = "GaetanLepage"; + githubId = 33058747; + name = "Gaetan Lepage"; + }; gal_bolle = { email = "florent.becker@ens-lyon.org"; github = "FlorentBecker"; |