diff options
| author | bors <bors@rust-lang.org> | 2022-12-21 16:59:31 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-12-21 16:59:31 +0000 |
| commit | 5b64c91c262a6a148a35d24180b23ffafbbab1dc (patch) | |
| tree | efaa6707ed90917144a0b2ffa9fbd96cf6418555 /compiler/rustc_mir_transform/src | |
| parent | e82a604a88fec3adc0645c5cc5328ea7eba5faa4 (diff) | |
| parent | 90d8fc6240874ec1dd636ba2b18ef56a0657d454 (diff) | |
| download | rust-5b64c91c262a6a148a35d24180b23ffafbbab1dc.tar.gz rust-5b64c91c262a6a148a35d24180b23ffafbbab1dc.zip | |
Auto merge of #2736 - RalfJung:josh, r=oli-obk
update josh instructions Fixes https://github.com/rust-lang/miri/issues/2730 r\? `@oli-obk`
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions