2017-06-20 - production
10:07	<moritzm>	rebooting mwdebug servers for kernel update	[production]