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

refactor(iroh-net): merge related fields regarding incoming pings #2236

Merged

Conversation

divagant-martian
Copy link
Contributor

Description

Merges the got_ping* fields since they are bound to be either both Some or both None

Breaking Changes

n/a

Notes & open questions

n/a

Change checklist

  • Self-review.
  • Documentation updates if relevant.
  • Tests if relevant.
  • All breaking changes documented.

@divagant-martian divagant-martian added this pull request to the merge queue Apr 26, 2024
Merged via the queue into n0-computer:main with commit 0f370ad Apr 26, 2024
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Archived in project
Development

Successfully merging this pull request may close these issues.

2 participants