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

Address comments from tokio-stream PR #3284

Closed
Darksonn opened this issue Dec 17, 2020 · 0 comments · Fixed by #3285
Closed

Address comments from tokio-stream PR #3284

Darksonn opened this issue Dec 17, 2020 · 0 comments · Fixed by #3285
Labels
A-tokio-stream Area: The tokio-stream crate

Comments

@Darksonn
Copy link
Contributor

The tokio-stream PR found at #3277 was merged as it was blocking other PRs with merge conflicts, but the PR still had some minor comments that should be addressed. This issue tracks the completion of these tasks.

Please see the PR for more details.
@Darksonn Darksonn added the A-tokio-stream Area: The tokio-stream crate label Dec 17, 2020
@Darksonn Darksonn mentioned this issue Dec 17, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-tokio-stream Area: The tokio-stream crate
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

stream: Fix a few doc issues tokio-rs/tokio
1 participant
@Darksonn