2020-07-07 - tools
23:22	<bd808>	Rebuilding all Docker images to pick up webservice v0.73 (T234617, T257229)	[tools]