2015-11-17 - production
18:54	<andrewbogott>	depooled mw1158 due to kernel errors. https://phabricator.wikimedia.org/T118888	[production]