]> git.lizzy.rs Git - rust.git/commit
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 9edbf36 49a6c23)
Auto merge of #2350 - RalfJung:remove-deprecated, r=oli-obk
authorbors <bors@rust-lang.org>
Tue, 19 Jul 2022 12:29:29 +0000 (12:29 +0000)
committerbors <bors@rust-lang.org>
Tue, 19 Jul 2022 12:29:29 +0000 (12:29 +0000)
commit8757d866aba7f89ed0db5ae9f0b52be4715348d3
tree2d701036e71324d51222e24c7c6e6139c472f07ftree | snapshot
parent9edbf3676b056e6cd4b887163703d454d5c3e8c3commit | diff
parent49a6c230cb6ebfbafa282d59d119500c4064215ecommit | diff
Auto merge of #2350 - RalfJung:remove-deprecated, r=oli-obk

remove deprecated options

These have been deprecated a month ago and nobody said they need them. Is that enough time? We can also let this PR sit a little.

Cc https://github.com/rust-lang/miri/issues/2187 https://github.com/rust-lang/miri/issues/2188
(keeping them open to track removing their supporting infrastructure in the core interpreter)
src/machine.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.