Skip to content

Correct tracking issue for casefold feature - #160041

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Jules-Bertholet:casefold-tracking
Jul 28, 2026
Merged

rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
Jules-Bertholet:casefold-tracking

Commits

Commits on Jul 28, 2026