Skip to content

Conversation

@ericvergnaud
Copy link
Contributor

Fixes #4182

Signed-off-by: Eric Vergnaud <[email protected]>
@ericvergnaud
Copy link
Contributor Author

@parrt ready to merge

@parrt parrt added this to the 4.12.1 milestone Mar 16, 2023
@parrt parrt merged commit 1bfddad into antlr:dev Mar 16, 2023
jimidle pushed a commit to jimidle/antlr4 that referenced this pull request Mar 28, 2023
Signed-off-by: Eric Vergnaud <[email protected]>
Signed-off-by: Jim.Idle <[email protected]>
@ericvergnaud ericvergnaud deleted the fix-incorrect-typings branch May 23, 2023 08:21
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