2019-07-16 - production
11:57	<moritzm>	synched docker-ce, docker-ce-cli, containerd.io to thirdparty/ci for stretch-wikimedia (T226236)	[production]