Merge rustc (1.20.0+dfsg1-1) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Sun, 15 Oct 2017 21:30:35 +0000 (22:30 +0100)
committerXimin Luo <infinity0@debian.org>
Sun, 15 Oct 2017 21:30:35 +0000 (22:30 +0100)

Trivial merge