Skip to content

Conversation

ericvergnaud
Copy link
Contributor

No description provided.

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

@parrt blessed

@parrt
Copy link
Member

parrt commented Sep 4, 2023

oops. has conflicts. @ericvergnaud

@ericvergnaud
Copy link
Contributor Author

@parrt fixed

@parrt
Copy link
Member

parrt commented Sep 4, 2023

weird. still shows as conflicted to me.
Screenshot 2023-09-04 at 1 13 09 PM

@parrt parrt merged commit 734bd75 into antlr:dev Sep 4, 2023
@parrt
Copy link
Member

parrt commented Sep 4, 2023

did it manually.

@ericvergnaud
Copy link
Contributor Author

I'll merge once relevant checks have passed
image

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