| commit | af28716f190813e6adb82018401aa99c075f6f22 | [log] [tgz] |
|---|---|---|
| author | The Miri Cronjob Bot <miri@cron.bot> | Wed Apr 17 04:57:09 2024 +0000 |
| committer | The Miri Cronjob Bot <miri@cron.bot> | Wed Apr 17 04:57:09 2024 +0000 |
| tree | c3aa8ebc3eed9b8181e3f4ed76668766fa20f1e5 | |
| parent | 8ad72b24f3b7b09cd18ad21c8bf0876f23ec24fb [diff] |
Preparing for merge from rustc
diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index dfa7f8c..bd87405 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version
@@ -1 +1 @@ -63f70b3d104e20289a1a0df82747066c3d85b9a1 +803e33a4460c82581bd01d4008d0f44aef1ddfe8