2018-06-20 - wikidata-dev
11:00	<Lucas_WMDE>	delete elastic-wikidata instance, broken due to MW update (PHP version) and no longer needed according to SMalyshev	[wikidata-dev]