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 6ff63155f71..42687826b02 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -699a862a3d4e4a2d5603c93297c0c44021ea72f5 +0b795044c6f0854445f1f2bb6443e87848e150d1 |