Skip to content

rustdoc-search: case-sensitive only when capitals are used#133043

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:master
Nov 15, 2024

Commits

Commits on Nov 14, 2024