2018-09-24 - wikidata-dev
09:59	<Lucas_WMDE>	wikidata-constraints update MediaWiki and extensions to current master	[wikidata-dev]