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

Restyle fix: fuzz_select_target wasn't selecting anything. #2556

Closed
wants to merge 2 commits into from

Conversation

restyled-io[bot]
Copy link

@restyled-io restyled-io bot commented Jan 12, 2024

A duplicate of #2554 with additional commits that automatically address
incorrect style, created by Restyled.

Since the original Pull Request was opened as a fork in a contributor's
repository, we are unable to create a Pull Request branching from it with only
the style fixes.

The following Restylers made fixes:

  • clang-format

To incorporate these changes, you can either:

  1. Merge this Pull Request instead of the original, or

  2. Ask your contributor to locally incorporate these commits and push them to
    the original Pull Request

    Expand for example instructions
    ```console
    git remote add upstream https://github.com/TokTok/c-toxcore.git
    git fetch upstream pull/<this PR number>/head
    git merge --ff-only FETCH_HEAD
    git push
    ```
    

NOTE: As work continues on the original Pull Request, this process will
re-run and update (force-push) this Pull Request with updated style fixes as
necessary. If the style is fixed manually at any point (i.e. this process finds
no fixes to make), this Pull Request will be closed automatically.

Sorry if this was unexpected. To disable it, see our documentation.


This change is Reviewable

@restyled-io restyled-io bot force-pushed the restyled/pull-2554 branch 2 times, most recently from 3bbfcbb to fc45dc6 Compare January 13, 2024 02:28
iphydf and others added 2 commits January 13, 2024 02:32
So fuzzers using that function either did nothing or would only ever
select one of the functions.
@restyled-io restyled-io bot closed this Jan 13, 2024
@restyled-io restyled-io bot deleted the restyled/pull-2554 branch January 13, 2024 02:39
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.

None yet

2 participants