diff options
| author | Ben Kimock <kimockb@gmail.com> | 2024-06-25 18:00:44 -0400 |
|---|---|---|
| committer | Ben Kimock <kimockb@gmail.com> | 2024-06-25 18:00:44 -0400 |
| commit | c6b25234fe92f7b1098017bd3b23eb0c58b7d485 (patch) | |
| tree | 44ffb75c2010e8af201a5313963003445b64fdde | |
| parent | 8a8b357bf11ed4f7ba28916c5975f74dde55f0ea (diff) | |
| download | rust-c6b25234fe92f7b1098017bd3b23eb0c58b7d485.tar.gz rust-c6b25234fe92f7b1098017bd3b23eb0c58b7d485.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 11a1c43bae9..e5e9f0bbdaf 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -d49994b060684af423339b55769439b2f444a7b9 +c290e9de32e8ba6a673ef125fde40eadd395d170 |