diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 61aa9c128220..ebc704f785f5 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -65b323b168daa6c723a8a5b4ddf939f3b12e0329 +f1f8687b06a5908dd096f51da32347b3313279db