Merge pull request #13017 from TDT-AG/pr/20200804-docker-ce
authorFlorian Eckert <redacted>
Tue, 11 Aug 2020 08:11:30 +0000 (10:11 +0200)
committerGitHub <redacted>
Tue, 11 Aug 2020 08:11:30 +0000 (10:11 +0200)
docker-ce: improvements / changes


Trivial merge
git clone https://git.99rst.org/PROJECT