Skip to content

Rollup of 20 pull requests - #56875

Merged
bors merged 52 commits into
rust-lang:masterfrom
Centril:rollup
Dec 16, 2018
Merged

bors merged 52 commits into
rust-lang:masterfrom
Centril:rollup

Commits

  1. Commits on Nov 28, 2018

  2. Commits on Dec 2, 2018

  3. Commits on Dec 3, 2018

  4. Commits on Dec 7, 2018

  5. Commits on Dec 8, 2018

  6. Commits on Dec 9, 2018

  7. Commits on Dec 10, 2018

  8. Commits on Dec 11, 2018

  9. Commits on Dec 12, 2018

  10. Commits on Dec 13, 2018

  11. Commits on Dec 14, 2018

  12. Commits on Dec 15, 2018

  13. Commits on Dec 16, 2018