2018-09-22 - releng
20:05	<Hauskatze>	github: deleted mirror wikimedia/mediawiki-extensions-Collection-OfflineContentGenerator-zim_renderer | T183891; moving to the next one	[releng]