diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-07-25 05:10:15 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-07-25 05:10:15 +0000 |
| commit | 6da04f95a7233089cf714d24a160a5dbaa8d84b9 (patch) | |
| tree | b348333946a684a5d0973a6a766b968a703f695a | |
| parent | f1ae48cc879c1bde0adb83c991d1baabea48a827 (diff) | |
| download | rust-6da04f95a7233089cf714d24a160a5dbaa8d84b9.tar.gz rust-6da04f95a7233089cf714d24a160a5dbaa8d84b9.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 60497630ae0..9868188eeee 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -42103d69b73fb4e9d03d5cf66ec12985bb526f6e +e7d66eac5e8e8f60370c98d186aee9fa0ebd7845 |