diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 10108a6fbca0..64ce88623963 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -214587c89d527dd0ccbe1f2150c737d3bdee67b0 +8a1f8039a7ded79d3d4fe97b110016d89f2b11e2