Skip to content
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.

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

731 legacy computing symbols #441

Merged
merged 18 commits into from
Nov 8, 2023
Merged

731 legacy computing symbols #441

merged 18 commits into from
Nov 8, 2023

Conversation

eggrobin
Copy link
Member

@eggrobin eggrobin commented Apr 18, 2023

[170-C15] Consensus: UTC accepts 731 legacy computing symbols, as documented in L2/21-235, for encoding in a future version of the standard, but changing the gc for the outlined Latin capital letters U+1CCD6..U+1CCEF from Lu to So.

[174-C24] Consensus: The UTC accepts the name change for U+1CE35 from LARGE TYPE PIECE RAISED UPPER RIGHT ARC to LARGE TYPE PIECE RAISED UPPER LEFT ARC. (Reference section 10 of L2/23-012)

[176-C37] Consensus: Change the name of U+1CE07 TOP RIGHT BLACK LEFT-POINTING SMALL TRIANGLE to TOP LEFT BLACK LEFT-POINTING SMALL TRIANGLE for Unicode version 16.0. (Reference: Section 13 of L2/23-164)

…T-POINTING SMALL TRIANGLE to TOP LEFT BLACK LEFT-POINTING SMALL TRIANGLE for Unicode version 16.0. (Reference: Section 13 of L2/23-164)
@eggrobin
Copy link
Member Author

eggrobin commented Oct 2, 2023

Checked consistency with Ken’s UnicodeData-16.0.0d6.txt and LineBreak-16.0.0d2.txt; some LineBreak ranges merge with others from other proposals, but the assignments appear consistent.

@eggrobin eggrobin marked this pull request as ready for review October 2, 2023 13:25
nedley
nedley previously approved these changes Oct 26, 2023
@eggrobin eggrobin requested a review from nedley November 6, 2023 17:05
@eggrobin
Copy link
Member Author

eggrobin commented Nov 8, 2023

@nedley Note that this PR needs re-rubberstamping because of the merge conflict resolution.

@eggrobin eggrobin merged commit d8dfad9 into unicode-org:main Nov 8, 2023
9 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants