maintainers: add trepetti

This commit is contained in:
Tom Repetti 2020-08-16 21:07:22 -04:00 committed by Jon
parent a13ff3e666
commit 41edd65945

View File

@ -8416,6 +8416,12 @@
githubId = 207457;
name = "Matthieu Chevrier";
};
trepetti = {
email = "trepetti@cs.columbia.edu";
github = "trepetti";
githubId = 25440339;
name = "Tom Repetti";
};
trevorj = {
email = "nix@trevor.joynson.io";
github = "akatrevorjay";