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

Commits

Commits on Jan 20, 2023