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

space-optimize accept #557

Merged
merged 3 commits into from
May 15, 2023
Merged

space-optimize accept #557

merged 3 commits into from
May 15, 2023

Conversation

ekipan
Copy link
Contributor

@ekipan ekipan commented May 14, 2023

See discussion.

@ekipan
Copy link
Contributor Author

ekipan commented May 14, 2023

whoops I just notice that the rewrite rejects keys > $9f that the old one didn't. One sec.

@jkotlinski
Copy link
Owner

Seems to work!

@jkotlinski jkotlinski merged commit c1fa52f into jkotlinski:master May 15, 2023
@ekipan ekipan deleted the accept branch May 15, 2023 17:22
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.

2 participants