2019-07-03 - production
09:47	<moritzm>	rebooting debmonitor nodes to pick up MDS-enabled qemu	[production]