Skip to content

rustdoc: remove support for multi-query search#93852

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-multi-query
Feb 11, 2022

Commits

Commits on Feb 10, 2022