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.

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

Optimize syntax propertization #671

Closed
wants to merge 3 commits into from
Closed

Conversation

zonuexe
Copy link
Member

@zonuexe zonuexe commented May 19, 2021

No description provided.

@zonuexe zonuexe force-pushed the optimize/syntax-propertization branch 3 times, most recently from 1e2009a to 9d1ba03 Compare May 19, 2021 13:19
@zonuexe zonuexe force-pushed the optimize/syntax-propertization branch from 9d1ba03 to 805f500 Compare May 19, 2021 13:29
…mize syntax propertization"

This reverts commit 061a794.
@zonuexe
Copy link
Member Author

zonuexe commented Sep 12, 2024

This PR has been superseded by #786.

@zonuexe zonuexe closed this Sep 12, 2024
@zonuexe zonuexe deleted the optimize/syntax-propertization branch September 12, 2024 22:26
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