2018-06-01 - releng
20:48	<hashar>	contint1001: deleting some old wikimedia/mediawiki-services-mathoid docker images	[releng]