2018-05-28 - wikidata-dev
15:08	<Lucas_WMDE>	wikidata-constraints update MediaWiki and extensions to current master	[wikidata-dev]