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

@eschnett eschnett commented Jun 11, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Jun 11, 2025

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

eschnett commented Jun 12, 2025

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

lgoettgens commented Jun 12, 2025

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

eschnett commented Jun 12, 2025

Yes, I think it should be backported.

@eschnett
Copy link
Contributor Author

eschnett commented Jun 12, 2025

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
KristofferC pushed a commit that referenced this pull request Jun 25, 2025
@eschnett
UnicodeData: Update to version 16 (#58710)
f650e9f 
(cherry picked from commit 866c890)
@KristofferC KristofferC mentioned this pull request Jun 25, 2025
Merged
60 tasks
@KristofferC KristofferC removed the backport 1.12 Change should be backported to release-1.12 label Jul 9, 2025
@eschnett eschnett deleted the eschnett/UnicodeData-16.0.0 branch September 3, 2025 23:07
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

dependencies unicode Related to unicode characters and encodings

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

7 participants

@eschnett @lgoettgens @inkydragon @vtjnash @giordano @KristofferC @IanButterworth