Merge rustc (1.40.0+dfsg1-5) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Sun, 5 Jan 2020 13:35:46 +0000 (13:35 +0000)
committerXimin Luo <infinity0@debian.org>
Sun, 5 Jan 2020 13:35:46 +0000 (13:35 +0000)

Trivial merge