Skip to content

Rollup of 7 pull requests#100395

Merged
bors merged 22 commits into
rust-lang:masterfrom
Dylan-DPC:rollup-ajrwo1s
Sep 2, 2022
Merged

Rollup of 7 pull requests#100395
bors merged 22 commits into
rust-lang:masterfrom
Dylan-DPC:rollup-ajrwo1s

Rollup merge of #100374 - GuillaumeGomez:improve_rustdoc_search_resul…

5a5cd6b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs