2019-01-22 - tools
20:21	<gtirloni>	published new docker images (all)	[tools]