Skip to content

chore: use unicode-properties mainline repo#1907

Merged
diegomura merged 3 commits into
masterfrom
dm/unicode-propierties-mainline-repo
Jul 2, 2022
Merged

chore: use unicode-properties mainline repo#1907
diegomura merged 3 commits into
masterfrom
dm/unicode-propierties-mainline-repo

Conversation

@diegomura

Copy link
Copy Markdown
Owner

Depends on: #1906

Remove unicode-properties fork and return to mainline repo

@diegomura diegomura merged commit 0fcc594 into master Jul 2, 2022
@diegomura diegomura deleted the dm/unicode-propierties-mainline-repo branch July 2, 2022 05:48
@github-actions github-actions Bot mentioned this pull request Jul 2, 2022
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.

1 participant