diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-02-11 05:05:16 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-02-11 05:05:16 +0000 |
| commit | 005508ef054a40a1437e61768b52fe1149d5b98d (patch) | |
| tree | 2c63613ffd5872e78789a874c3bc21552ac61bd5 | |
| parent | f22fd3684b16c38d97afc5cf4d8ffe3c6cf3f9d7 (diff) | |
| download | rust-005508ef054a40a1437e61768b52fe1149d5b98d.tar.gz rust-005508ef054a40a1437e61768b52fe1149d5b98d.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 dd48038e07a..48458cdcbc3 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -e0607238c95df66e3d25a6c17aebe18c6726fc74 +6171d944aea415a3023d4262e0895aa3b18c771f |