Rollup of 11 pull requests#55710
Merged
bors merged 42 commits intorust-lang:masterfrom Nov 6, 2018
Merged
Commits
Commits on Oct 29, 2018
Commits on Nov 1, 2018
Commits on Nov 3, 2018
Commits on Nov 4, 2018
Commits on Nov 5, 2018
- committed
- authored
- authored
- authored
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- committed
- committed
Commits on Nov 6, 2018
- authored
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
