Skip to content

Conversation

chrisrink10
Copy link
Member

Fixes #899

@chrisrink10 chrisrink10 merged commit eab3633 into main Jul 18, 2024
11 checks passed
@chrisrink10 chrisrink10 deleted the fix/allow-dots-in-keywords branch July 18, 2024 20:31
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.

dots in keywords
1 participant