Skip to content

Use the unicode-ident crate#7212

Merged
MichaReiser merged 1 commit intomainfrom use-unicode-identSep 7, 2023

Commits

Commits on Sep 7, 2023