diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 2b3aa19805c6..e16c19b6bdfe 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -be72f2587c91579406117f99fa332383d66b7dcd +089677eb32af83318467325edbef9b64053df532