Merge rustc (1.23.0+dfsg1-1) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Fri, 19 Jan 2018 10:49:31 +0000 (10:49 +0000)
committerXimin Luo <infinity0@debian.org>
Fri, 19 Jan 2018 10:49:31 +0000 (10:49 +0000)

Trivial merge