2019-07-03 - production
13:33	<moritzm>	rebooting doc1001 to pick up MDS-enabled qemu	[production]