2016-11-08 - production
11:30	<moritzm>	rebooting mira for kernel update	[production]