diff options
author | The Miri Cronjob Bot <miri@cron.bot> | 2024-07-04 04:54:26 +0000 |
---|---|---|
committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-07-04 04:54:26 +0000 |
commit | 5c2946a4beb927d5c34519d5310b6507efb91724 (patch) | |
tree | 5f96b8eaafc014e9abd66aaa78fa15f20bdfe2df /src | |
parent | b0d791d3cf13a7b61b3db49591b432d88af2aec8 (diff) |
Preparing for merge from rustc
Diffstat (limited to 'src')
-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 912aa11ded0..5a35166769e 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -7d97c59438e933e86f557ed999da3b8dfc6855a7 +66b4f0021bfb11a8c20d084c99a40f4a78ce1d38 |