@ -5524,6 +5524,12 @@
githubId = 7622248;
name = "Sebastian Zivota";
};
locallycompact = {
email = "dan.firth@homotopic.tech";
github = "locallycompact";
githubId = 1267527;
name = "Daniel Firth";
lopsided98 = {
email = "benwolsieffer@gmail.com";
github = "lopsided98";