2014-07-11 - production
13:52	<hashar>	Jenkins: mediawiki/core change being queued while Jenkins is busy proceeding some history. That is normal, will resume soon ™	[production]