Skip to content

delete UnicodeProperty.java #216

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
Closed
wants to merge 1 commit into from
Closed

delete UnicodeProperty.java #216

wants to merge 1 commit into from

Conversation

srl295
Copy link
Member

@srl295 srl295 commented Apr 5, 2022

For: #66

@srl295 srl295 self-assigned this Apr 5, 2022
@srl295 srl295 requested a review from echeran April 5, 2022 19:45
@markusicu markusicu mentioned this pull request Apr 5, 2022
Merged
@markusicu
Copy link
Member

From the build failures, clearly CLDR code needs to use CLDR UnicodeProperty, but otherwise Unicode Tools code needs to use its version of UnicodeProperty. Probably need to drop this PR in favor of PR #214?

@markusicu
Copy link
Member

I suggest closing this PR.

@srl295 srl295 closed this Apr 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@macchiati macchiati Awaiting requested review from macchiati

@markusicu markusicu Awaiting requested review from markusicu

@josh-hadley josh-hadley Awaiting requested review from josh-hadley

@echeran echeran Awaiting requested review from echeran

Assignees

@srl295 srl295

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@srl295 @markusicu