diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-01-29 05:18:27 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-01-29 05:18:27 +0000 |
| commit | 548929f3d67b90330dc3f6ad20c97588d8ca8357 (patch) | |
| tree | 132d57462602781d1e8be38cd335ed5bdeb40fa9 | |
| parent | 79fcb1d42de83e7e85e6a6f102120690826ee5f8 (diff) | |
| download | rust-548929f3d67b90330dc3f6ad20c97588d8ca8357.tar.gz rust-548929f3d67b90330dc3f6ad20c97588d8ca8357.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 e548b44d8c2..7f46e2f5ddb 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -2f348cb7ce4063fa4eb40038e6ada3c5214717bd +122fb29eb639aae852b9dcba0fd7aefc691be118 |