2020-01-26 - releng
11:02	<hauskatze>	github - deleted mirror for extension-BlueSpiceMenues; refs. T240788	[releng]