2020-06-16 - tools
23:01	<bd808>	Building new Docker images to pick up webservice 0.72	[tools]