Skip to content

switch from unicode_xid to unicode_ident#73

Merged
ahl merged 1 commit into
mainfrom
unicode-ident
May 23, 2022
Merged

switch from unicode_xid to unicode_ident#73
ahl merged 1 commit into
mainfrom
unicode-ident

Conversation

@ahl

@ahl ahl commented May 23, 2022

Copy link
Copy Markdown
Collaborator

No description provided.

@ahl ahl merged commit 24fb7b9 into main May 23, 2022
@ahl ahl deleted the unicode-ident branch May 23, 2022 15:56
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