diff options
| author | Ben Kimock <kimockb@gmail.com> | 2023-05-26 07:47:25 -0400 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2023-05-26 07:47:25 -0400 |
| commit | 9ffd3f941081b37f5c34afbaf62eb87af9b19b9d (patch) | |
| tree | 560b0917140131045d8c5364e2141991c37d6d10 | |
| parent | 053edf46bb4a2adcd8c2c4649bed38b9e4a978cd (diff) | |
| download | rust-9ffd3f941081b37f5c34afbaf62eb87af9b19b9d.tar.gz rust-9ffd3f941081b37f5c34afbaf62eb87af9b19b9d.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 0bff100dc14..2b3aa19805c 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -8b4b20836b832e91aa605a2faf5e2a55190202c8 +be72f2587c91579406117f99fa332383d66b7dcd |