Skip to content

Conversation

jcking
Copy link
Collaborator

@jcking jcking commented Apr 8, 2022

Addresses #3631.

@jcking jcking marked this pull request as ready for review April 8, 2022 17:08
@parrt parrt added this to the 4.10 milestone Apr 8, 2022
@parrt parrt merged commit d49b9f8 into antlr:dev Apr 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants