Skip to content

rustdoc: use focus for search navigation#84462

Merged
bors merged 1 commit intorust-lang:masterfrom
jsha:focus-search-results2
May 18, 2021
Merged

rustdoc: use focus for search navigation#84462
bors merged 1 commit intorust-lang:masterfrom
jsha:focus-search-results2

Commits

Commits on May 13, 2021