diff --git a/config.public.json b/config.public.json index 0572c37..0c7a160 100644 --- a/config.public.json +++ b/config.public.json @@ -40,6 +40,7 @@ "lheckemann", "lnl7", "makefu", + "matthewbauer", "matthiasbeyer", "mic92", "nequissimus",