2014-07-09 - production
09:12	<hashar>	Jenkins being slow because the mediawiki-core* jobs history cache has been wiped out while updating their configuration. Jenkins is busy processing the history :(	[production]