]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 891ca5f caf206b)
Rollup merge of #85766 - workingjubilee:file-options, r=yaahc
authorYuki Okushi <jtitor@2k36.org>
Tue, 16 Nov 2021 00:14:14 +0000 (09:14 +0900)
committerGitHub <noreply@github.com>
Tue, 16 Nov 2021 00:14:14 +0000 (09:14 +0900)
commit73ec27d359a30e39e2aad29dfaf5c09438872511
tree8a4874e718603d062dbac4a4a64ee32926c37585tree | snapshot
parent891ca5f63c3b3cfe3939710a728671243e881ed6commit | diff
parentcaf206b8202f4d417e39c378d424bc813f60bf99commit | diff
Rollup merge of #85766 - workingjubilee:file-options, r=yaahc

Stabilize File::options()

Renames File::with_options to File::options, per consensus in
rust-lang/rust#65439, and stabilizes it.
Empowering everyone to build reliable and efficient software.