Mark MutexGuard with #[clippy::has_significant_drop]#5422
Merged
Darksonn merged 3 commits intotokio-rs:masterfrom Feb 9, 2023
Merged
Mark MutexGuard with #[clippy::has_significant_drop]#5422Darksonn merged 3 commits intotokio-rs:masterfrom
MutexGuard with #[clippy::has_significant_drop]#5422Darksonn merged 3 commits intotokio-rs:masterfrom
Commits
Commits on Feb 2, 2023
Commits on Feb 3, 2023
- committed
- committed