diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 721d6df0f11..e32968d8178 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -5ac0b2d0219de2fd6fef86c69ef0cfa1e6c36f3b +ee03c286cfdca26fa5b2a4ee40957625d2c826ff