@ -466,6 +466,12 @@
githubId = 858965;
name = "Andrew Morsillo";
};
andehen = {
email = "git@andehen.net";
github = "andehen";
githubId = 754494;
name = "Anders Asheim Hennum";
andersk = {
email = "andersk@mit.edu";
github = "andersk";