2019-07-11 - production
15:53	<moritzm>	rebooting ping2001 to pick up MDS-enabled qemu	[production]