2019-03-01 - math
10:39 <arturo> shut down drmft instance again (was active by mistake due to workload reallocation) Will be deleted soon anyway [math]