mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-07 09:13:07 +03:00
911cbf8e46
update Miri r? `@thomcc` for the lib changes (removing a `cfg(miri)` that is no longer needed)