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 29f34da77eb..cf6d9c28080 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -3b1c8a94a4e8a6ba8bc7b39cc3580db9e5b72295 +c54c8cbac882e149e04a9e1f2d146fd548ae30ae |