Skip to content

Rollup of 7 pull requests#63998

Merged
bors merged 18 commits into
rust-lang:masterfrom
Centril:rollup-pfuwxz3
Aug 29, 2019
Merged

Rollup of 7 pull requests#63998
bors merged 18 commits into
rust-lang:masterfrom
Centril:rollup-pfuwxz3

Rollup merge of #63992 - lzutao:integer-ord, r=nagisa

3f05cf6
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs