Skip to content
This repository has been archived by the owner on Aug 11, 2020. It is now read-only.

quic: additional cleanups #217

Closed
wants to merge 3 commits into from
Closed

Conversation

jasnell
Copy link
Member

@jasnell jasnell commented Dec 5, 2019

Few additional minor cleanups

jasnell added a commit that referenced this pull request Dec 5, 2019
PR-URL: #217
Reviewed-By: Anna Henningsen <[email protected]>
jasnell added a commit that referenced this pull request Dec 5, 2019
PR-URL: #217
Reviewed-By: Anna Henningsen <[email protected]>
jasnell added a commit that referenced this pull request Dec 5, 2019
@jasnell
Copy link
Member Author

jasnell commented Dec 5, 2019

Landed!

@jasnell jasnell closed this Dec 5, 2019
addaleax pushed a commit that referenced this pull request Dec 11, 2019
PR-URL: #217
Reviewed-By: Anna Henningsen <[email protected]>
addaleax pushed a commit that referenced this pull request Dec 11, 2019
PR-URL: #217
Reviewed-By: Anna Henningsen <[email protected]>
addaleax pushed a commit that referenced this pull request Dec 11, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants