Skip to content

Deterministic translate_case(2)#126

Merged
patham9 merged 1 commit intomainfrom
DeterministicTranslateCase
Feb 11, 2026
Merged

Deterministic translate_case(2)#126
patham9 merged 1 commit intomainfrom
DeterministicTranslateCase

Conversation

@patham9
Copy link
Collaborator

@patham9 patham9 commented Feb 11, 2026

(commit we checked together wasn't pushed before)

@patham9 patham9 requested a review from rTreutlein February 11, 2026 16:46
@patham9 patham9 merged commit c5d3edf into main Feb 11, 2026
5 checks passed
@patham9 patham9 removed the request for review from rTreutlein February 11, 2026 16:49
@patham9
Copy link
Collaborator Author

patham9 commented Feb 11, 2026

#125

@patham9 patham9 changed the title no trace Deterministic translate_case(2) Feb 11, 2026
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.

1 participant