Skip to content

Rollup of 5 pull requests - #46574

Merged
bors merged 12 commits into
rust-lang:masterfrom
GuillaumeGomez:rollup
Dec 8, 2017
Merged

bors merged 12 commits into
rust-lang:masterfrom
GuillaumeGomez:rollup

Commits

  1. Commits on Dec 1, 2017

  2. Commits on Dec 2, 2017

  3. Commits on Dec 6, 2017

  4. Commits on Dec 7, 2017