Skip to content

UnicodeData: Update to version 16 #58710

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jun 13, 2025
Merged

UnicodeData: Update to version 16 #58710

merged 1 commit into from
Jun 13, 2025

Conversation

eschnett
Copy link
Contributor

No description provided.

@github-actions GitHub Actions
Copy link

Hello! I am a bot.

Thank you for your pull request!

I have assigned @vtjnash to this pull request.

@vtjnash can either choose to review this pull request themselves, or they can choose to find someone else to review this pull request.

Note: If you are a Julia committer, please make sure that your organization membership is public.

@giordano giordano added the unicode Related to unicode characters and encodings label Jun 11, 2025
@eschnett
Copy link
Contributor Author

I believe we claimed a while ago that Julia now supports Unicode 16. Apparently there was a file where we forgot to update from Unicode 13 to 16. This PR fixes that oversight.

@lgoettgens
Copy link
Contributor

The support for Unicode 16 was claimed to be added in #56925, and this is mentioned in the 1.12 release notes.
Does that mean that this PR should also be backported to 1.12?

@eschnett
Copy link
Contributor Author

Yes, I think it should be backported.

@eschnett
Copy link
Contributor Author

This PR only affects the documentation. It corrects the table containing all LaTeX and Emoji tab completions available in the REPL.

@inkydragon inkydragon added backport 1.12 Change should be backported to release-1.12 dependencies labels Jun 13, 2025
inkydragon
inkydragon approved these changes Jun 13, 2025
View reviewed changes
Copy link
Member

@inkydragon inkydragon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@inkydragon inkydragon added the merge me PR is reviewed. Merge when all tests are passing label Jun 13, 2025
@IanButterworth IanButterworth merged commit 866c890 into JuliaLang:master Jun 13, 2025
12 checks passed
@giordano giordano removed the merge me PR is reviewed. Merge when all tests are passing label Jun 13, 2025
nilesh646 pushed a commit to nilesh646/julia that referenced this pull request Jun 17, 2025
@eschnett @nilesh646
UnicodeData: Update to version 16 (JuliaLang#58710)
3b4c21f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@inkydragon inkydragon inkydragon approved these changes

Assignees

@vtjnash vtjnash

Labels
backport 1.12 Change should be backported to release-1.12 dependencies unicode Related to unicode characters and encodings
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@eschnett @lgoettgens @inkydragon @vtjnash @giordano @IanButterworth