Rollup of 14 pull requests#45674
Merged
bors merged 33 commits intorust-lang:masterfrom Nov 1, 2017
Merged
Commits
Commits on Oct 22, 2017
Commits on Oct 27, 2017
Commits on Oct 28, 2017
Commits on Oct 29, 2017
Commits on Oct 31, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 1, 2017
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored
- authored