mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-08-15 00:00:15 +02:00
This reverts [#4825], as miri seems to be working again on the latest nightly. I had originally thought it was this issue with rustup which was to blame, but this seems to be wrong: https://github.com/rust-lang/rustup/issues/3031 [#4825]: https://github.com/tokio-rs/tokio/pull/4825