Skip to content
This repository is currently being migrated. It's locked while the migration is in progress.

Allow escaped comma and space #3

Merged

Conversation

garaemon
Copy link
Member

@garaemon garaemon commented Dec 6, 2020

No description provided.

@garaemon garaemon merged commit a55847e into GITAI:master Dec 6, 2020
@garaemon garaemon deleted the 2020.12.06-allow-escaped-space-and-comma branch December 6, 2020 04:10
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