diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index a7c9d720c0cf..4664cc39820f 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c07693c1608258f3577eb15057fc0744fa924ae9 +c104861b7b51d2c28e7023e7e53db16cc6677e29