Skip to content

Improve search result tab handling#80382

Merged
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:search-result-tab-picking
Jan 19, 2021
Merged

Improve search result tab handling#80382
bors merged 1 commit into
rust-lang:masterfrom
GuillaumeGomez:search-result-tab-picking

If the current search result tab is empty, it picks the first non-emp…

3337767
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs