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 4664cc39820..5d972fdd270 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c104861b7b51d2c28e7023e7e53db16cc6677e29 +029d00c4a3176a705e0092de3e1739f8b7c32010 |