[beta] Rollup backports#55554
Merged
bors merged 7 commits intorust-lang:betafrom Nov 1, 2018
Merged
Commits
Commits on Oct 31, 2018
- committed
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- committed