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

docs: Update FUZZ.md #19825

Merged
merged 1 commit into from
Oct 26, 2020
Merged

docs: Update FUZZ.md #19825

merged 1 commit into from
Oct 26, 2020

Conversation

pierwill
Copy link
Contributor

Remove section on continuous fuzzing as we're pausing that work.

@pierwill pierwill force-pushed the pierwill-patch-rm-oss-fuzz branch from f8e2d13 to 0566346 Compare October 26, 2020 17:43
@pierwill pierwill changed the title Update FUZZ.md docs: Update FUZZ.md Oct 26, 2020
@pierwill pierwill requested a review from russorat October 26, 2020 20:34
Copy link
Contributor

@russorat russorat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@pierwill pierwill merged commit 485a9d0 into master Oct 26, 2020
@jacobmarble jacobmarble deleted the pierwill-patch-rm-oss-fuzz branch January 2, 2024 22:54
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