Merge rustc (1.40.0+dfsg1-1) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Sun, 29 Dec 2019 22:17:04 +0000 (22:17 +0000)
committerXimin Luo <infinity0@debian.org>
Sun, 29 Dec 2019 22:17:04 +0000 (22:17 +0000)

Trivial merge