diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 207ef6c5de744..01580139be9de 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -6579ed89f0fcc26da71afdd11d30d63f6f812a0a +b54dd08a84f3c07efbc2aaf63c3df219ae680a03