Rollup of 6 pull requests#46029
Merged
bors merged 19 commits intorust-lang:masterfrom Nov 16, 2017
Merged
Commits
Commits on Nov 12, 2017
Commits on Nov 13, 2017
Commits on Nov 14, 2017
Commits on Nov 15, 2017
Commits on Nov 16, 2017
- authored
- authored
- authored
- authored
- authored
- authored