diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 06a597064624..25bb5e923183 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -7a72c5459dd58f81b0e1a0e5436d145485889375 +69d4d5fc0e4db60272aac85ef27ecccef5764f3a