2019-06-07 - wikidata-dev
10:30	<Lucas_WMDE>	wikibase-mud deleted instance (SSH didn’t work, we found another server we could use)	[wikidata-dev]