diff options
| author | bors <bors@rust-lang.org> | 2022-10-29 11:09:45 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-29 11:09:45 +0000 |
| commit | 79a48ce71686a5a82cb000062915157170e16d61 (patch) | |
| tree | 9ede59ac76ee73d57bb7ed8a6b087d26296f21f9 /src/test/debuginfo/enum-thinlto.rs | |
| parent | 18a23a5d03519eb5d4348a6d0e519b279af628ca (diff) | |
| parent | 39598e46f6777e0f5eee8177c347fec431d2b591 (diff) | |
| download | rust-79a48ce71686a5a82cb000062915157170e16d61.tar.gz rust-79a48ce71686a5a82cb000062915157170e16d61.zip | |
Auto merge of #2634 - RalfJung:miri-script, r=oli-obk
./miri updates: toolchain, rustc-push, rustc-pull This merges the `./rustup-toolchain` script into `./miri` as `./miri toolchain`, and adds two new commands for josh-based syncing. r? `@rust-lang/miri`
Diffstat (limited to 'src/test/debuginfo/enum-thinlto.rs')
0 files changed, 0 insertions, 0 deletions