rustdoc: make the hover trail for doc anchors a bit bigger#128615
Merged
bors merged 1 commit intorust-lang:masterfrom Aug 4, 2024
Merged
rustdoc: make the hover trail for doc anchors a bit bigger#128615bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom