diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index f6e6b1ca741d..5be53f476683 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -1a5bf12f6586d724ed5ff40e58e06c0233560c0e +7f695232a80fa1833e2282f2577c5e1ff066bf39