Skip to content

Rollup of 14 pull requests - #56840

Merged
bors merged 30 commits into
rust-lang:masterfrom
emilyalbini:rollup
Dec 15, 2018
Merged

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

Commits

  1. Commits on Dec 11, 2018

  2. Commits on Dec 12, 2018

  3. Commits on Dec 13, 2018

  4. Commits on Dec 14, 2018

  5. Commits on Dec 15, 2018