Skip to content

Conversation

@tottoto
Copy link
Contributor

@tottoto tottoto commented Oct 8, 2025

Fixes clippy lint warning.

@Benjscho Benjscho merged commit 60f9276 into tokio-rs:main Oct 10, 2025
5 checks passed
@tottoto tottoto deleted the fix-clippy-lint branch October 10, 2025 14: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.

2 participants