Skip to content

Conversation

mike-lischke
Copy link
Member

A bit cleanup on the way.

@parrt parrt added this to the 4.7.1 milestone May 31, 2017
@parrt parrt merged commit 745c88a into antlr:master May 31, 2017
@mike-lischke mike-lischke deleted the issue1827 branch June 4, 2017 10:10
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