Skip to content

Remove obsolete workaround.#85266

Merged
bors merged 2 commits into
rust-lang:masterfrom
cjgillot:hir-dep-clean
May 31, 2021
Merged

Remove obsolete workaround.#85266
bors merged 2 commits into
rust-lang:masterfrom
cjgillot:hir-dep-clean

Merge fields and comment.

4f8e34c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs