diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-04-07 05:17:09 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-04-07 05:17:09 +0000 |
| commit | fa06e723adb8ad4a4cc995b2fccfccc7caf80bff (patch) | |
| tree | b300f2dbb8709dfb6ed9911eaf944a4e6c0ff3fa | |
| parent | 1a4e85a4e6ce99e4adf8f043fb9f2aa6b2e7ca94 (diff) | |
| download | rust-fa06e723adb8ad4a4cc995b2fccfccc7caf80bff.tar.gz rust-fa06e723adb8ad4a4cc995b2fccfccc7caf80bff.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 bc254efcd30..a6f29510879 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -d5b4c2e4f19b6d7037371cdaecc3cc2c701c68df +25a615bf829b9f6d6f22da537e3851043f92e5f2 |