2016-05-30 - releng
07:44	<ori>	Disconnecting and then reconnecting Gearman from Jenkins did not appear to do anything; going to depool / repool nodes.	[releng]