diff options
| author | bors <bors@rust-lang.org> | 2024-03-06 07:37:33 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-06 07:37:33 +0000 |
| commit | 033c1e00b0fda6616c1442ecf40bb79da8c5db20 (patch) | |
| tree | e5e81e03e90da78fd619763a95ef4ac47ec25f94 /compiler/rustc_interface/src | |
| parent | e88704e48ca60436797a689f7cdaded55678c0d4 (diff) | |
| parent | c1a5906d54730b156061542f9c6bfc4f187f4105 (diff) | |
| download | rust-033c1e00b0fda6616c1442ecf40bb79da8c5db20.tar.gz rust-033c1e00b0fda6616c1442ecf40bb79da8c5db20.zip | |
Auto merge of #3340 - RalfJung:no-disable-abi-check, r=oli-obk
remove the ability to disable ABI checking This got deprecated in https://github.com/rust-lang/miri/pull/3071, about half a year ago. `@rust-lang/miri` I think it's fine to remove this now.
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions