Skip to content

Update to Unicode 15.1#33

Merged
Manishearth merged 2 commits intounicode-rs:masterfrom
chrisduerr:unicode_15_1
Sep 19, 2023
Merged

Update to Unicode 15.1#33
Manishearth merged 2 commits intounicode-rs:masterfrom
chrisduerr:unicode_15_1

Conversation

@chrisduerr
Copy link
Copy Markdown
Contributor

No description provided.

@Manishearth Manishearth reopened this Sep 19, 2023
@Manishearth
Copy link
Copy Markdown
Member

Something's wrong with this data, it fails all the tests. The script is fetching correctly, though

@Manishearth Manishearth merged commit 24651a2 into unicode-rs:master Sep 19, 2023
@Manishearth
Copy link
Copy Markdown
Member

Thanks!

@chrisduerr chrisduerr deleted the unicode_15_1 branch September 19, 2023 18:53
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