Skip to content

Rollup of 10 pull requests#47622

Merged
bors merged 23 commits intorust-lang:masterfrom GuillaumeGomez:rollupJan 21, 2018

Commits

Commits on Dec 22, 2017

Commits on Jan 11, 2018

Commits on Jan 15, 2018

Commits on Jan 17, 2018

Commits on Jan 18, 2018

Commits on Jan 19, 2018

Commits on Jan 20, 2018