2017-06-20 - production
11:29	<moritzm>	rebooting mediawiki app servers in codfw for kernel update	[production]