Skip to content

[generator] remove some redundant edge-cases#628

Merged
shish merged 1 commit into
masterfrom
pr628
Feb 17, 2025
Merged

[generator] remove some redundant edge-cases#628
shish merged 1 commit into
masterfrom
pr628

Conversation

@shish
Copy link
Copy Markdown
Collaborator

@shish shish commented Feb 17, 2025

Special-cases to handle 7.X-era bugs are no longer needed

Evidence that these cases are redundant: removing them doesn't affect the generated code

Special-cases to handle 7.X-era bugs are no longer needed

Evidence that these cases are redundant: removing them doesn't affect the generated code
@shish shish merged commit 78b5bff into master Feb 17, 2025
@shish shish deleted the pr628 branch February 17, 2025 17:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant