Rollup of 9 pull requests#45822
Merged
bors merged 26 commits intorust-lang:masterfrom Nov 7, 2017
Merged
Commits
Commits on Oct 31, 2017
Commits on Nov 1, 2017
Commits on Nov 2, 2017
Commits on Nov 4, 2017
Commits on Nov 5, 2017
- authored
- committed
- committed
- committed
- committed
- committed
Commits on Nov 6, 2017
- committed
Commits on Nov 7, 2017
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
