diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 7f1aa78169d8..e695fc4004b5 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -affdb59607566c1615c829eea9e7b27a093994ec +8df89d1cb077cd76013d3f9f5a4e92c5b5a9280c