Closed dtolnay closed 3 months ago
This used to be needed prior to https://github.com/rust-lang/rust/pull/115439.
This used to be needed prior to https://github.com/rust-lang/rust/pull/115439.