2019-04-17 - wikidata-dev
13:40	<Lucas_WMDE>	wikidata-shex `git pull` in /srv/mediawiki-vagrant, then `vagrant reload` (T221231)	[wikidata-dev]