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 88a4ddfba6b..f173cc37e85 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -008c21c9779fd1e3632d9fe908b8afc0c421b26c +dca2d1ff00bf96d244b1bb9a2117a92ec50ac71d |