Skip to content

dialects: allow extensions containing periods#7782

Merged
nojb merged 1 commit intoocaml:mainfrom nojb:dialects_dotsMay 24, 2023

Commits

Commits on May 24, 2023