diff options
| -rw-r--r-- | src/tools/miri/rust-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index d0d951c3e11..1fcd33752ec 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -b71fb5edc0217eaf8fc824a44cd7b0945e29ff4d +875df370be806c837f58abb638329905e969ace4 |