Merge docker.io (18.09.1+dfsg1-7.1) import into refs/heads/workingbranch
authorShengjing Zhu <zhsj@debian.org>
Sat, 22 Jun 2019 17:25:10 +0000 (18:25 +0100)
committerShengjing Zhu <zhsj@debian.org>
Sat, 22 Jun 2019 17:25:10 +0000 (18:25 +0100)

Trivial merge