2018-06-26 - wikidata-dev
10:27	<Lucas_WMDE>	wikidata-lexeme `sudo do-release-upgrade` (we need a newer PHP version for recent MediaWiki versions)	[wikidata-dev]