diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index d0d951c3e115..1fcd33752ec2 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -b71fb5edc0217eaf8fc824a44cd7b0945e29ff4d +875df370be806c837f58abb638329905e969ace4