Micro-optimize rustdoc search index parsing - #148522
Merged
bors merged 1 commit intoNov 16, 2025
Merged
rust-bors / Bors try build
succeeded
Nov 15, 2025 in 2h 15m 34s
Bors try build
Loading