@ -8709,6 +8709,12 @@
githubId = 13225611;
name = "Nicolas Martin";
};
pennae = {
name = "pennae";
email = "github@quasiparticle.net";
github = "pennae";
githubId = 82953136;
p3psi = {
name = "Elliot Boo";
email = "p3psi.boo@gmail.com";