Rollup of 4 pull requests#44807
Merged
bors merged 13 commits intorust-lang:masterfrom Sep 24, 2017
Commits
Commits on Sep 16, 2017
Commits on Sep 22, 2017
Commits on Sep 23, 2017
Commits on Sep 24, 2017
- committed
- authored
- authored
- authored
- authored