maintainers: add GaetanLepage

This commit is contained in:
Gaetan Lepage 2022-05-23 16:15:15 +02:00
parent 2403723108
commit b5917a7ff4

View file

@ -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";