Skip to content

Improve display of crate name when hovered#117906

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:improve-crate-name-hover
Jan 30, 2024

Commits

Commits on Jan 29, 2024