diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-17 04:59:14 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-07-17 04:59:14 +0000 |
| commit | 5946616c064330cb7418930dd20f317e5a4d5339 (patch) | |
| tree | 5736253efae4720bb0ef3146d5a37deed42344fd | |
| parent | 4e8ce1ee6ae4437f076bbfd282248111e2f57c83 (diff) | |
| download | rust-5946616c064330cb7418930dd20f317e5a4d5339.tar.gz rust-5946616c064330cb7418930dd20f317e5a4d5339.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 67f27e7aa2c..3f10132b684 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -7f2065a4bae1faed5bab928c670964eafbf43b55 +fd2eb391d032181459773f3498c17b198513e0d0 |