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]