bors 8757d866ab 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)
2022-07-19 12:29:29 +00:00
..
2022-07-13 18:59:33 -04:00
2022-07-19 08:03:39 -04:00
2022-07-19 08:03:39 -04:00
2022-07-13 18:59:33 -04:00
2022-07-16 23:40:36 -04:00
2022-06-23 13:08:52 -07:00
2022-07-19 08:03:39 -04:00
2022-07-19 08:03:39 -04:00
2022-06-01 10:53:38 -04:00
2022-06-01 10:53:38 -04:00
2022-06-29 21:31:27 -04:00
2022-07-07 20:12:30 -04:00