rustdoc-search: simplify checkPath and sortResults#118109
Merged
bors merged 2 commits intorust-lang:masterfrom Nov 22, 2023
Merged
rustdoc-search: simplify checkPath and sortResults#118109bors merged 2 commits intorust-lang:masterfrom
checkPath and sortResults#118109bors merged 2 commits intorust-lang:masterfrom