diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-11-20 05:00:09 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-11-20 05:00:09 +0000 |
| commit | 2b751f621c9a8f7bfd294cbbe792a3f1e72aee19 (patch) | |
| tree | 720ff1c67e14914ec3a1a56231c4ae79f2186cc8 | |
| parent | 4520ff84e151a8eb904146cdd19353a92b671ba8 (diff) | |
| download | rust-2b751f621c9a8f7bfd294cbbe792a3f1e72aee19.tar.gz rust-2b751f621c9a8f7bfd294cbbe792a3f1e72aee19.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 d0d951c3e11..1fcd33752ec 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -b71fb5edc0217eaf8fc824a44cd7b0945e29ff4d +875df370be806c837f58abb638329905e969ace4 |