2019-03-14 - tools
20:54	<bd808>	Depooled and rebooted tools-sgeexec-0941.tools.eqiad.wmflabs	[tools]