Skip to content

Rollup of 4 pull requests#71162

Merged
bors merged 21 commits into
rust-lang:masterfrom
Centril:rollup-jzg6ykc
Apr 15, 2020
Merged

Rollup of 4 pull requests#71162
bors merged 21 commits into
rust-lang:masterfrom
Centril:rollup-jzg6ykc

Rollup merge of #71116 - marmeladema:dummy-hir-id-removal, r=eddyb

7341cad
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs