diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index da0d794273b3..88a4ddfba6be 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -f3284dc3ad9254236d296daa1285dd273b492b01 +008c21c9779fd1e3632d9fe908b8afc0c421b26c