Merge rustc (1.19.0+dfsg3-4) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Sun, 15 Oct 2017 19:31:03 +0000 (20:31 +0100)
committerXimin Luo <infinity0@debian.org>
Sun, 15 Oct 2017 19:31:03 +0000 (20:31 +0100)

Trivial merge