2019-06-26 - production
08:43	<moritzm>	rebooting deployment-mediawiki-07 for new kernel	[production]