2018-06-26 - releng
15:11	<hashar>	Changing integration-slave-docker-1012 in jenkins m1executor -> m4executor. It is a m1.medium instance and can thus run mediawiki jobs	[releng]