diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-05-23 05:02:22 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-05-23 05:02:22 +0000 |
| commit | 807a0f8c218b16fd4870f78ff50808b5200a08d4 (patch) | |
| tree | 7d7723862b827e8fa570aa0b5e051cdadfeeb09e | |
| parent | 04a9a1a5319eb9c872cc9c753da8b59fc384025d (diff) | |
| download | rust-807a0f8c218b16fd4870f78ff50808b5200a08d4.tar.gz rust-807a0f8c218b16fd4870f78ff50808b5200a08d4.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 01580139be9..22a6a297259 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -b54dd08a84f3c07efbc2aaf63c3df219ae680a03 +9cdfe285ca724c801dc9f78d22b24ea69b787f26 |