diff options
| author | Stuart Cook <Zalathar@users.noreply.github.com> | 2025-08-12 20:37:58 +1000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-12 20:37:58 +1000 |
| commit | dcc0b6b7b8b975d91ee2799d84f95772035c16a4 (patch) | |
| tree | 9476c0dfe22df26d9f6d0f0c8e794de70aafd07c /configure | |
| parent | 2102eebd56537c6adb4d4e12cfaf7d19c4979b84 (diff) | |
| parent | f336cc777b84c29776e8cc1b148cf1065b9fae2d (diff) | |
| download | rust-dcc0b6b7b8b975d91ee2799d84f95772035c16a4.tar.gz rust-dcc0b6b7b8b975d91ee2799d84f95772035c16a4.zip | |
Rollup merge of #145283 - theemathas:patch-1, r=Noratrieb
Make I-miscompile imply I-prioritize Since I-unsound already implies I-prioritize, it makes sense that I-miscompile should do the same.
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions