Rollup of 16 pull requests#55012
Merged
bors merged 37 commits intorust-lang:masterfrom Oct 12, 2018
Commits
Commits on Oct 2, 2018
Commits on Oct 4, 2018
Commits on Oct 5, 2018
Commits on Oct 7, 2018
Commits on Oct 8, 2018
Commits on Oct 9, 2018
Commits on Oct 10, 2018
- committed
- committed
- committed
- committed
- committed
Commits on Oct 11, 2018
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 12, 2018
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored