Merge rustc (1.42.0+dfsg1-1) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Fri, 10 Apr 2020 10:33:25 +0000 (11:33 +0100)
committerXimin Luo <infinity0@debian.org>
Fri, 10 Apr 2020 10:33:25 +0000 (11:33 +0100)

Trivial merge