diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-14 05:00:14 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-14 05:00:14 +0000 |
| commit | dbeb05cd2addf012e6c1e1ddea00a5e6fb8ca609 (patch) | |
| tree | fb5fdf7a8b10f0932016437c9b9fbcd4a0a15053 | |
| parent | 91a52cac82ead1d8ed75fa5bd22df228a250bb17 (diff) | |
| download | rust-dbeb05cd2addf012e6c1e1ddea00a5e6fb8ca609.tar.gz rust-dbeb05cd2addf012e6c1e1ddea00a5e6fb8ca609.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 0af6b8c6fc7..adf3f7389c6 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -32cd9114712a24010b0583624dc52ac302194128 +9c3064e131f4939cc95a29bb11413c49bbda1491 |