diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index e32968d8178e..f04e6e374799 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -ee03c286cfdca26fa5b2a4ee40957625d2c826ff +a615cea3339046c7ab2d75cd253727d1fd42dd0b