diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 801f78ba85cb..79abbfaeaf11 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -718ddf660e6a1802c39b4962cf7eaa4db57025ef +a69bc17fb8026bdc0d24bb1896ff95f0eba1da4e