2016-03-02 - production
15:16	<andrewbogott>	rebooting californium just to make sure dist-upgrade didn’t mess up grub	[production]