Skip to content

Rollup of 15 pull requests - #52958

Merged
bors merged 32 commits into
rust-lang:masterfrom
emilyalbini:rollup
Aug 1, 2018
Merged

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

Commits

  1. Commits on Jul 28, 2018

  2. Commits on Jul 30, 2018

  3. Commits on Jul 31, 2018

  4. Commits on Aug 1, 2018