Skip to content

internal: Remove hover fallback in favor of ranged hover - #13989

Merged
bors merged 2 commits into
rust-lang:masterfrom
Veykril:hover
Jan 20, 2023
Merged

bors merged 2 commits into
rust-lang:masterfrom
Veykril:hover

Remove hover fallback in favor of ranged hover

4685b97
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs