Merge pull request #12689 from jmarcet/docker-ce-update
authorRosen Penev <rosenp@gmail.com>
Sat, 4 Jul 2020 06:44:58 +0000 (23:44 -0700)
committerGitHub <noreply@github.com>
Sat, 4 Jul 2020 06:44:58 +0000 (23:44 -0700)
docker-ce: update to version 19.03.12


Trivial merge