diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-24 04:54:24 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2025-08-24 04:54:24 +0000 |
| commit | 8c2d2c07ff7af6e9d10e00833d8e82a483f2acae (patch) | |
| tree | 55b916ca85b3bb9e3b96109b135d804f39c4c54a | |
| parent | fe7892bc9c528d032e2d949204ca6d810da3affc (diff) | |
| download | rust-8c2d2c07ff7af6e9d10e00833d8e82a483f2acae.tar.gz rust-8c2d2c07ff7af6e9d10e00833d8e82a483f2acae.zip | |
Prepare for merging from rust-lang/rust
This updates the rust-version file to f6d23413c399fb530be362ebcf25a4e788e16137.
| -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 d0757e58bf9..3450f18334a 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -8e3710ef31a0b2cdf5a1c2f3929b7735d1e28c20 +f6d23413c399fb530be362ebcf25a4e788e16137 |