beta backport rollup#56102
Merged
bors merged 31 commits intorust-lang:betafrom Nov 21, 2018
Merged
Commits
Commits on Nov 19, 2018
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
Commits on Nov 20, 2018
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted
- authored andcommitted

- authored andcommitted
- authored andcommitted
- committed
- committed
- committed
- authored andcommitted
- authored andcommitted