2019-06-11 - releng
22:34	<James_F>	PHP55 docker images not deleted because they're still referenced (by what?).	[releng]