diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-15 04:59:27 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-15 04:59:27 +0000 |
| commit | a9a5b33c2d7d5d1ada0efd23f97cc1f3b774dbda (patch) | |
| tree | 7e6d7f57b3c9f0f640e0cd71ecab41ee8093413b | |
| parent | 794dc328b46520f145091771db6531bf1d5b5c4e (diff) | |
| download | rust-a9a5b33c2d7d5d1ada0efd23f97cc1f3b774dbda.tar.gz rust-a9a5b33c2d7d5d1ada0efd23f97cc1f3b774dbda.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 adf3f7389c6..67f27e7aa2c 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -9c3064e131f4939cc95a29bb11413c49bbda1491 +7f2065a4bae1faed5bab928c670964eafbf43b55 |