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

Special characters - default character set #5952

Closed
pomek opened this issue Dec 10, 2019 · 1 comment
Closed

Special characters - default character set #5952

pomek opened this issue Dec 10, 2019 · 1 comment
Labels
package:special-characters type:task This issue reports a chore (non-production change) and other types of "todos".
Milestone
iteration 29 (v17...

Comments

@pomek
Copy link
Member

pomek commented Dec 10, 2019 •
edited
Loading

Extracted from #1110 (comment).
@pomek pomek added the type:task This issue reports a chore (non-production change) and other types of "todos". label Dec 10, 2019
@pomek pomek added this to the iteration 29 milestone Dec 10, 2019
@Reinmar Reinmar mentioned this issue Dec 10, 2019
Closed
@Reinmar
Copy link
Member

Reinmar commented Dec 17, 2019

I reviewed the currently available characters and I think that the set is fine.

@Reinmar Reinmar closed this as completed Dec 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
package:special-characters type:task This issue reports a chore (non-production change) and other types of "todos".
Projects
None yet
Milestone
iteration 29 (v17.0.0)
Development

No branches or pull requests
2 participants
@Reinmar @pomek