Skip to content

rustdoc: use focus for search navigation#84462

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

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

rustdoc: use focus for search navigation

b615c0c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs