diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-19 04:55:44 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-06-19 04:55:44 +0000 |
| commit | 19c6f75929349d6f1cd2e058dfac25dbb5ee8b43 (patch) | |
| tree | 9e5b88083bddb0a451c4cd766f0feaaf292c40cd | |
| parent | e857c655ea78c1cba926e74f2fc39e790b8e7201 (diff) | |
| download | rust-19c6f75929349d6f1cd2e058dfac25dbb5ee8b43.tar.gz rust-19c6f75929349d6f1cd2e058dfac25dbb5ee8b43.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 6a74011a36f..30ba3070e1f 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -77ec48f5642ee1aa451d270f11f308c297f55f76 +d1d8e386c5e84c4ba857f56c3291f73c27e2d62a |