diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 22a3d439861..52f98965ec1 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -9fa6bdd764a1f7bdf69eccceeace6d13f38cb2e1 +b08dd92552d663e3c877c8e5ce859e212205a09f