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
Merged

rustdoc: remove support for multi-query search#93852
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:remove-multi-query

Commits

Commits on Feb 10, 2022