[beta] Another round of backports#50182
Merged
bors merged 7 commits intorust-lang:betafrom Apr 23, 2018
Merged
Commits
Commits on Apr 22, 2018
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted