diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2023-07-30 05:36:38 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2023-07-30 05:36:38 +0000 |
| commit | 8ddc72eca4bbb6412639cd52db5d51b9840f3011 (patch) | |
| tree | 2d8ee4be0f1162025c9cecebe6e8043099c82590 | |
| parent | 70757fbdd76565563a2311db393459899a38b40f (diff) | |
| download | rust-8ddc72eca4bbb6412639cd52db5d51b9840f3011.tar.gz rust-8ddc72eca4bbb6412639cd52db5d51b9840f3011.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 1d5dd4d3f63..dde8d867655 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -d150dbb067e66f351a0b33a54e7d4b464ef51e47 +fb53384c94b87adebceb6048865c9fe305e71b92 |