Skip to content

Rollup of 15 pull requests - #56977

Merged
bors merged 40 commits into
rust-lang:masterfrom
emilyalbini:rollup
Dec 19, 2018
Merged

bors merged 40 commits into
rust-lang:masterfrom
emilyalbini:rollup

Commits

  1. Commits on Nov 30, 2018

  2. Commits on Dec 10, 2018

  3. Commits on Dec 13, 2018

  4. Commits on Dec 14, 2018

  5. Commits on Dec 16, 2018

  6. Commits on Dec 17, 2018

  7. Commits on Dec 18, 2018

  8. Commits on Dec 19, 2018