mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-30 21:16:27 +03:00
39146c44bd
Ignore close errors in read-only files. this fixes https://github.com/rust-lang/miri/issues/999 r? @RalfJung