2019-07-19 - production
07:38	<moritzm>	rebooting tungsten for kernel update	[production]