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.

Sign up for GitHub

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

Jump to bottom

PING loss does not require repair #2094

Merged
merged 1 commit into from
Dec 4, 2018
Merged

PING loss does not require repair #2094

merged 1 commit into from
Dec 4, 2018

Conversation

janaiyengar
Copy link
Contributor

No description provided.

@janaiyengar janaiyengar mentioned this pull request Dec 4, 2018
Merged
@janaiyengar janaiyengar merged commit a91f2ff into master Dec 4, 2018
@martinthomson martinthomson deleted the ping branch December 4, 2018 21:16
@martinthomson martinthomson added design An issue that affects the design of the protocol; resolution requires consensus. -transport labels Dec 13, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MikeBishop MikeBishop MikeBishop approved these changes

@marten-seemann marten-seemann marten-seemann approved these changes

Assignees
No one assigned
Labels
-transport design An issue that affects the design of the protocol; resolution requires consensus.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@janaiyengar @marten-seemann @MikeBishop @martinthomson