Skip to content

Conversation

StochasticTinkr
Copy link
Contributor

No description provided.

@ericvergnaud
Copy link
Contributor

Thanks for this. Have you signed the contributors agreement? (appreciate it might seem overkilling for fixing typos)

@StochasticTinkr
Copy link
Contributor Author

I have another (more substantial) pull request, where I did. If you insist, I can do it in this one, but it definitely seems like overkill.

@ericvergnaud
Copy link
Contributor

I saw the other one, which might take longer to merge, hence why I'd rather you add it to this one to start with.

@StochasticTinkr
Copy link
Contributor Author

Fair enough. I’ll add it when I’m next in front of my computer

@ericvergnaud
Copy link
Contributor

@parrt blessed

@parrt parrt merged commit bb66444 into antlr:master Feb 23, 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