Fix "Directly go to item in search if there is only one result" setting#109633
Merged
bors merged 2 commits intorust-lang:masterfrom Mar 27, 2023
Merged
Fix "Directly go to item in search if there is only one result" setting#109633bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom