Merge rustc (1.24.1+dfsg1-1~deb9u2) import into refs/heads/workingbranch
authorMoritz Mühlenhoff <jmm@debian.org>
Sun, 8 Jul 2018 19:39:35 +0000 (20:39 +0100)
committerMoritz Mühlenhoff <jmm@debian.org>
Sun, 8 Jul 2018 19:39:35 +0000 (20:39 +0100)

Trivial merge