diff -r 0c13d78ff496 -r 6f6294d607cd web/common.php
--- a/web/common.php	Tue Oct 20 12:07:33 2020 +0200
+++ b/web/common.php	Tue Oct 27 14:10:44 2020 +0100
@@ -12,7 +12,7 @@
 
 $project_url_base = 'ldtplatform/ldt/cljson/id/';
 
-$C_default_rep = 'enmi19';
+$C_default_rep = 'enmi20';
 $C_feedback_form_url = 'https://spreadsheets.google.com/spreadsheet/viewform?hl=en_US&formkey=dDZILVdXVHRzd0xhWGVZXzkweHN2RGc6MQ#gid=0';
 $C_event_props = __DIR__ . "/event_props";
 $C_event_users = array('polemictweet' => 'polemictweet'.date('Y/m/d'));