diff --git a/config.public.json b/config.public.json
index e230b7a..de5da3f 100644
--- a/config.public.json
+++ b/config.public.json
@@ -51,6 +51,7 @@
             "orivej",
             "peti",
             "primeos",
+            "Profpatsch",
             "rasendubi",
             "rbvermaa",
             "romildo",