2019-07-16 - releng
21:58	<hauskatze>	GitHub: deleted `wikimedia/mediawiki-extensions-Convert2Wiki` refs. T228198	[releng]