Skip to content

names: Stab at fixing some non-determinism in pick_case#166

Merged
pudo merged 1 commit intomainfrom
leonhandreke/case-fold-flipflop
Mar 6, 2026
Merged

names: Stab at fixing some non-determinism in pick_case#166
pudo merged 1 commit intomainfrom
leonhandreke/case-fold-flipflop

Conversation

@leonhandreke
Copy link
Contributor

@leonhandreke leonhandreke marked this pull request as ready for review March 6, 2026 14:32
@leonhandreke leonhandreke requested a review from pudo March 6, 2026 14:32
@pudo pudo merged commit 9ba5b7e into main Mar 6, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants