diff options
| author | The Miri Cronjob Bot <miri@cron.bot> | 2024-04-17 04:57:09 +0000 |
|---|---|---|
| committer | The Miri Cronjob Bot <miri@cron.bot> | 2024-04-17 04:57:09 +0000 |
| commit | af28716f190813e6adb82018401aa99c075f6f22 (patch) | |
| tree | c3aa8ebc3eed9b8181e3f4ed76668766fa20f1e5 /src | |
| parent | 8ad72b24f3b7b09cd18ad21c8bf0876f23ec24fb (diff) | |
| download | rust-af28716f190813e6adb82018401aa99c075f6f22.tar.gz rust-af28716f190813e6adb82018401aa99c075f6f22.zip | |
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 dfa7f8ca507..bd87405da3d 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -63f70b3d104e20289a1a0df82747066c3d85b9a1 +803e33a4460c82581bd01d4008d0f44aef1ddfe8 |