2019-07-11 - production
16:03	<moritzm>	rebooting ping1001 to pick up MDS-enabled qemu	[production]