2018-08-30 - releng
20:34	<Hauskatze>	github: deleting https://github.com/wikimedia/mediawiki-extensions-SemanticExpressiveness mirror for T199417	[releng]