2014-11-18 - production
01:27 <Tim> on osmium: removing ori's custom kernel and rebooting [production]