Skip to content

Conversation

lemire
Copy link
Member

@lemire lemire commented May 11, 2023

There is no need to build the entire library...

@lemire lemire requested a review from anonrig May 11, 2023 03:44
@anonrig anonrig merged commit 6b3f8a9 into main May 11, 2023
@anonrig anonrig deleted the fast_fuzz branch May 11, 2023 03:53
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