Skip to content

Conversation

@NWilson
Copy link
Member

@NWilson NWilson commented Oct 25, 2025

Fixes #823

@NWilson NWilson marked this pull request as ready for review October 29, 2025 12:20
@NWilson NWilson merged commit dd75533 into master Oct 30, 2025
38 checks passed
@NWilson NWilson deleted the user/niwilson/unicode-17 branch October 30, 2025 20:34
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.

Update to Unicode 17

2 participants