2018-06-05 - wikidata-dev
11:07	<Lucas_WMDE>	wikidata-constraints update MediaWiki and extensions to current master	[wikidata-dev]