Merge pull request #155411 from gador/gador-maintainer

This commit is contained in:
legendofmiracles 2022-01-17 21:22:35 -06:00 committed by GitHub
commit 1ac9200a30
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -4256,6 +4256,16 @@
githubId = 1313787;
name = "Gabriel Gonzalez";
};
gador = {
email = "florian.brandes@posteo.de";
github = "gador";
githubId = 1883533;
name = "Florian Brandes";
keys = [{
longkeyid = "rsa4096/0xBBB3E40E53797FD9";
fingerprint = "0200 3EF8 8D2B CF2D 8F00 FFDC BBB3 E40E 5379 7FD9";
}];
};
gal_bolle = {
email = "florent.becker@ens-lyon.org";
github = "FlorentBecker";