Skip to content

Revert "Upgrade antlr from 4.7 to 4.13.1"#33028

Merged
Abacn merged 1 commit intomasterfrom
revert-33016-master
Nov 6, 2024
Merged

Revert "Upgrade antlr from 4.7 to 4.13.1"#33028
Abacn merged 1 commit intomasterfrom
revert-33016-master

Conversation

@Abacn
Copy link
Contributor

@Abacn Abacn commented Nov 6, 2024

@Abacn
Copy link
Contributor Author

Abacn commented Nov 6, 2024

R: @shunping

@github-actions
Copy link
Contributor

github-actions bot commented Nov 6, 2024

Stopping reviewer notifications for this pull request: review requested by someone other than the bot, ceding control. If you'd like to restart, comment assign set of reviewers

@Abacn
Copy link
Contributor Author

Abacn commented Nov 6, 2024

We had back and forth in upgrading antlr before - #14787

@Abacn Abacn merged commit 13049a5 into master Nov 6, 2024
@Abacn Abacn deleted the revert-33016-master branch November 6, 2024 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants