Skip to content

Stabilize const_eq_ignore_ascii_case#142065

Merged
bors merged 1 commit intorust-lang:masterfrom
paolobarbolini:stabilize-const_eq_ignore_ascii_case
Jun 8, 2025
Merged

Stabilize `const_eq_ignore_ascii_case`#142065
bors merged 1 commit intorust-lang:masterfrom
paolobarbolini:stabilize-const_eq_ignore_ascii_case

Commits

Commits on Jun 5, 2025