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.

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

Use of uppercase hex for code points (editorial) #1652

Closed
aphillips opened this issue Feb 3, 2023 · 3 comments
Closed

Use of uppercase hex for code points (editorial) #1652

aphillips opened this issue Feb 3, 2023 · 3 comments
Labels
close? The related issue was closed by the Group but open here needs-resolution i18n expects this item to be resolved to their satisfaction. s:uievents-key https://w3c.github.io/uievents-key/ t:char_ref Referring to Unicode characters wg:webapps https://www.w3.org/groups/wg/webapps

Comments

@aphillips
Copy link
Contributor

aphillips commented Feb 3, 2023 •
edited

This is a tracker issue. Only discuss things here if they are i18n WG internal meta-discussions about the issue. Contribute to the actual discussion at the following link:

§ w3c/uievents-key#60
@aphillips aphillips added pending Issue not yet sent to WG, or raised by tracker tool & needing labels. s:uievents-key https://w3c.github.io/uievents-key/ needs-resolution i18n expects this item to be resolved to their satisfaction. t:char_ref Referring to Unicode characters labels Feb 3, 2023
@aphillips aphillips mentioned this issue Feb 3, 2023
Open
@hober
Copy link
Member

hober commented Feb 6, 2023

See also https://infra.spec.whatwg.org/#code-points

@aphillips aphillips removed the pending Issue not yet sent to WG, or raised by tracker tool & needing labels. label Feb 9, 2023
@aphillips aphillips changed the title Making reference to Unicode characters Use of uppercase hex for code points (editorial) Feb 9, 2023
@w3cbot w3cbot added the close? The related issue was closed by the Group but open here label Mar 28, 2023
@plehegar
Copy link
Member

@xfq This issue has been resolved by WebApps and ought to be closed.

@xfq
Copy link
Member

xfq commented May 29, 2023

Agreed. Given that it's a simple editorial comment, I'll go ahead and close this issue.

Feel free to reopen if there's any objection.

@xfq xfq closed this as completed May 29, 2023
@w3cbot w3cbot added the wg:webapps https://www.w3.org/groups/wg/webapps label Feb 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
close? The related issue was closed by the Group but open here needs-resolution i18n expects this item to be resolved to their satisfaction. s:uievents-key https://w3c.github.io/uievents-key/ t:char_ref Referring to Unicode characters wg:webapps https://www.w3.org/groups/wg/webapps
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@hober @aphillips @plehegar @xfq @w3cbot