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

use memchr #27

Merged
merged 2 commits into from
Feb 1, 2024
Merged

use memchr #27

merged 2 commits into from
Feb 1, 2024

Conversation

jbr
Copy link
Owner

@jbr jbr commented Nov 13, 2023

No description provided.

@jbr jbr marked this pull request as ready for review February 1, 2024 20:01
@jbr jbr force-pushed the memchr branch 2 times, most recently from 9ed8468 to 0f3f975 Compare February 1, 2024 20:22
@jbr jbr merged commit 201dc0d into main Feb 1, 2024
8 checks passed
@delete-merged-branch delete-merged-branch bot deleted the memchr branch February 1, 2024 21:13
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