Merge rustc (1.31.0+dfsg1-2) import into refs/heads/workingbranch
authorXimin Luo <infinity0@debian.org>
Sun, 16 Dec 2018 22:34:44 +0000 (22:34 +0000)
committerXimin Luo <infinity0@debian.org>
Sun, 16 Dec 2018 22:34:44 +0000 (22:34 +0000)

Trivial merge