Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[C++] Remove now unused antlrcpp::Guid #3531

Merged
merged 1 commit into from
Feb 7, 2022
Merged

[C++] Remove now unused antlrcpp::Guid #3531

merged 1 commit into from
Feb 7, 2022

Conversation

jcking
Copy link
Collaborator

@jcking jcking commented Feb 7, 2022

antlrcpp::Guid use was removed recently after the serialized ATN changes. We can now remove antlrcpp::Guid.

@jcking
Copy link
Collaborator Author

jcking commented Feb 7, 2022

@mike-lischke

mike-lischke
mike-lischke approved these changes Feb 7, 2022
View reviewed changes
Copy link
Member

@mike-lischke mike-lischke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@parrt This patch can be merged.

@parrt parrt added this to the 4.10 milestone Feb 7, 2022
@parrt parrt merged commit ea98374 into antlr:master Feb 7, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mike-lischke mike-lischke mike-lischke approved these changes

Assignees
No one assigned
Labels
target:cpp
Projects
None yet
Milestone
4.10
Development

Successfully merging this pull request may close these issues.
3 participants
@jcking @mike-lischke @parrt