Rollup of 7 pull requests#46745
Merged
bors merged 14 commits intorust-lang:masterfrom Dec 15, 2017
Merged
Commits
Commits on Dec 9, 2017
Commits on Dec 12, 2017
Commits on Dec 13, 2017
Commits on Dec 14, 2017
Commits on Dec 15, 2017
- committed
- authored
- authored
- authored
- authored
- authored
- authored
- authored