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 /maintainers | |
| parent | 240372310855f63545c486c722e5e87526c50665 (diff) | |
maintainers: add GaetanLepage
Diffstat (limited to 'maintainers')
| -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"; |