rustdoc search: Allow to filter on multiple crates#115802

GuillaumeGomez wants to merge 1 commit intorust-lang:mainrust-lang/rust:mainfrom

GuillaumeGomez:rustdoc-search-multiple-crate-filteringGuillaumeGomez/rust:rustdoc-search-multiple-crate-filteringCopy head branch name to clipboard