2018-08-13 - production
11:01	<moritzm>	rebooting kraz/irc.wikimedia.org for kernel security update	[production]