rustdoc-search: use lowercase, non-normalized name for type search#126176
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 9, 2024
Merged
rustdoc-search: use lowercase, non-normalized name for type search#126176bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom