diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-03-02 05:03:55 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-03-02 05:03:55 +0000 |
| commit | 33b78f2be1b71b282c952775e98265d177406701 (patch) | |
| tree | 7ab8404820023aded58c7d03ef750ec2ced636fb | |
| parent | d775aa24e72250b340d5fc21725512728326dbb3 (diff) | |
| download | rust-33b78f2be1b71b282c952775e98265d177406701.tar.gz rust-33b78f2be1b71b282c952775e98265d177406701.zip | |
Preparing for merge from rustc
| -rw-r--r-- | src/tools/miri/rust-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 9ab3d5a6e7f..92f8fa089b0 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -cb06d12710575a0d7ff71d6fe108f3bcff4f9195 +1c3b035542775e9a5decc93167d351b062942d32 |