mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-08-17 00:00:11 +02:00
Two unrelated PRs to the same file resulted in a broken build. This patch fixes the build by including `Arc`.
Two unrelated PRs to the same file resulted in a broken build. This patch fixes the build by including `Arc`.