Skip to content

Conversation

cliid
Copy link

@cliid cliid commented Sep 29, 2020

No description provided.

@mike-lischke
Copy link
Member

Do we need a contributors entry for this small doc change @parrt?

@parrt
Copy link
Member

parrt commented Oct 5, 2020

@mike-lischke I guess not.

@parrt parrt merged commit 1145107 into antlr:master Oct 5, 2020
@parrt parrt added this to the 4.9 milestone Nov 24, 2020
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.

3 participants