Skip to content

rustdoc: change title of search results#128210

Merged
bors merged 2 commits intorust-lang:masterfrom
lolbinarycat:rustdoc-search-title
Jul 27, 2024

Commits

Commits on Jul 25, 2024