2019-07-03 - production
11:11	<moritzm>	rebooting people1001 (people.wikimedia.org) to pick up MDS-enabled qemu	[production]