Skip to content

Rollup of 5 pull requests#46574

Merged
bors merged 12 commits intorust-lang:masterfrom GuillaumeGomez:rollupDec 8, 2017

Commits

Commits on Dec 1, 2017

Commits on Dec 2, 2017

Commits on Dec 6, 2017

Commits on Dec 7, 2017