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

Improve Unicode terminology #1752

Closed
w3cbot opened this issue Aug 21, 2023 · 1 comment
Closed

Improve Unicode terminology #1752

w3cbot opened this issue Aug 21, 2023 · 1 comment
Labels
close? The related issue was closed by the Group but open here s:rdf-concepts t:char_def 4.1 Choosing a definition of 'character' t:char_string 4.9 Defining 'string' tracker i18n is following a discussion, but doesn't require resolution. wg:rdf-star https://www.w3.org/groups/wg/rdf-star

Comments

@w3cbot
Copy link

w3cbot commented Aug 21, 2023 •
edited by xfq
Loading

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

§ w3c/rdf-concepts#51
@w3cbot w3cbot added pending Issue not yet sent to WG, or raised by tracker tool & needing labels. s:rdf-concepts tracker i18n is following a discussion, but doesn't require resolution. labels Aug 21, 2023
@xfq xfq changed the title Code points vs characters Improve Unicode terminology Sep 7, 2023
@xfq xfq added t:char_def 4.1 Choosing a definition of 'character' and removed pending Issue not yet sent to WG, or raised by tracker tool & needing labels. labels Sep 7, 2023
@w3cbot w3cbot added the close? The related issue was closed by the Group but open here label Sep 12, 2023
@xfq xfq added the t:char_string 4.9 Defining 'string' label Sep 19, 2023
@aphillips
Copy link
Contributor

This appears to have been addressed

@w3cbot w3cbot added the wg:rdf-star https://www.w3.org/groups/wg/rdf-star 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 s:rdf-concepts t:char_def 4.1 Choosing a definition of 'character' t:char_string 4.9 Defining 'string' tracker i18n is following a discussion, but doesn't require resolution. wg:rdf-star https://www.w3.org/groups/wg/rdf-star
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@aphillips @xfq @w3cbot