maintainers: add proofconstruction

This commit is contained in:
alex 2023-06-23 15:07:24 -05:00
parent b3f5bcf0be
commit 4edf0b8bc4

View File

@ -13103,6 +13103,12 @@
githubId = 406946;
name = "Valentin Lorentz";
};
proofconstruction = {
email = "source@proof.construction";
github = "proofconstruction";
githubId = 74747193;
name = "Alexander Groleau";
};
proofofkeags = {
email = "keagan.mcclelland@gmail.com";
github = "ProofOfKeags";