mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-17 04:35:42 +00:00
Renames File::with_options to File::options, per consensus in rust-lang/rust#65439, and stabilizes it.
Renames File::with_options to File::options, per consensus in rust-lang/rust#65439, and stabilizes it.