@ -3615,6 +3615,12 @@
githubId = 5317234;
name = "Raphael Megzari";
};
happy-river = {
email = "happyriver93@runbox.com";
github = "happy-river";
githubId = 54728477;
name = "Happy River";
haslersn = {
email = "haslersn@fius.informatik.uni-stuttgart.de";
github = "haslersn";