Skip to content

Conversation

@dondonz
Copy link
Member

@dondonz dondonz commented Jan 14, 2023

Thanks @act1on3 and Daniela for identifying that an ANTLR rule could be approved & writing the fix

I am raising this PR on their behalf. @act1on3 I've added you as co-author, I didn't have Daniela's GitHub account or email.

@dondonz
Copy link
Member Author

dondonz commented Jan 14, 2023

Force pushed to add co-author credit

@dondonz dondonz merged commit 640d282 into master Jan 14, 2023
@dondonz dondonz deleted the directives-antlr branch January 14, 2023 04:25
@dondonz dondonz added this to the 20.1 milestone Feb 13, 2023
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.

2 participants