diff --git a/config.public.json b/config.public.json index 37f49a2..719b667 100644 --- a/config.public.json +++ b/config.public.json @@ -40,6 +40,7 @@ "lheckemann", "lnl7", "makefu", + "matthiasbeyer", "mic92", "nequissimus", "orivej",