2013-12-30 - production
23:05	<hashar>	Jenkins purged build history of mediawiki-core-lint from before July 2013.	[production]