Skip to content

Rollup of 8 pull requests#65644

Merged
bors merged 17 commits into
rust-lang:masterfrom
Centril:rollup-gez1xhe
Oct 21, 2019
Merged

Rollup of 8 pull requests#65644
bors merged 17 commits into
rust-lang:masterfrom
Centril:rollup-gez1xhe

Rollup merge of #65639 - adrianheine:patch-2, r=jonas-schievink

836e45d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs