Skip to content

Rollup of 7 pull requests#39769

Merged
bors merged 18 commits intorust-lang:masterfrom GuillaumeGomez:rollupFeb 12, 2017

Commits

Commits on Feb 8, 2017

Commits on Feb 9, 2017

Commits on Feb 12, 2017