Merge pull request #12560 from G-M0N3Y-2503/feature_docker-ce_update
authorFlorian Eckert <redacted>
Mon, 22 Jun 2020 11:28:32 +0000 (13:28 +0200)
committerGitHub <redacted>
Mon, 22 Jun 2020 11:28:32 +0000 (13:28 +0200)
docker-ce: Updated to 19.03.11, updated relevant dependencies and script simplification


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