2017-10-02 - releng
12:23	<addshore>	docker push ci-jessie, php & php-mediawiki latest tags built from https://gerrit.wikimedia.org/r/381392	[releng]