Merge pull request #12849 from TDT-AG/pr/20200717-docker-ce
authorFlorian Eckert <fe@dev.tdt.de>
Tue, 21 Jul 2020 08:07:28 +0000 (10:07 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Jul 2020 08:07:28 +0000 (10:07 +0200)
docker-ce: add reload handling


Trivial merge