2017-07-05 - production
18:00	<moritzm>	rebooting tungsten for kernel update	[production]