2014-07-25 - production
19:28	<hashar>	Jenkins : disabling gearman plugin and reenabling it (just uncheck/save/check a box in https://integration.wikimedia.org/ci/configure )	[production]