diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index ee27d8ed9a8..76ae9227983 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -360bafad68cfea2682cf016070e533c45a00150f +34c5ab9aac327a8a18e18ea37a2468a320d82fb0