Skip to content

Conversation

@vrana
Copy link
Member

@vrana vrana commented Jun 16, 2025

These characters occur in our data.

There are more characters listed at https://en.wikipedia.org/wiki/Whitespace_character#Unicode, maybe all of them should be included?

  • bug fix
  • BC break? yes
  • doc PR: the exact characters are undocumented

These characters occur in our data.

There are more characters listed at https://en.wikipedia.org/wiki/Whitespace_character#Unicode, maybe all of them should be included?
@dg dg force-pushed the master branch 2 times, most recently from 8477660 to c14f3fe Compare June 18, 2025 14:09
@dg
Copy link
Member

dg commented Jun 18, 2025

Thanks

@dg dg merged commit da77670 into nette:master Jun 18, 2025
15 checks passed
dg pushed a commit that referenced this pull request Jun 18, 2025
These characters occur in our data.

There are more characters listed at https://en.wikipedia.org/wiki/Whitespace_character#Unicode, maybe all of them should be included?
dg pushed a commit that referenced this pull request Jun 19, 2025
These characters occur in our data.

There are more characters listed at https://en.wikipedia.org/wiki/Whitespace_character#Unicode, maybe all of them should be included?
dg pushed a commit that referenced this pull request Jun 19, 2025
These characters occur in our data.

There are more characters listed at https://en.wikipedia.org/wiki/Whitespace_character#Unicode, maybe all of them should be included?
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants