Rollup of 17 pull requests#55803
Merged
bors merged 36 commits intorust-lang:masterfrom Nov 9, 2018
Merged
Commits
Commits on Nov 1, 2018
Commits on Nov 3, 2018
Commits on Nov 4, 2018
Commits on Nov 6, 2018
Commits on Nov 7, 2018
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 8, 2018
- committed
- committed
- committed
- committed
Commits on Nov 9, 2018
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored