Merge pull request rust-lang#4023 from RalfJung/rustup

Preparing for merge from rustc
RalfJung · Nov 10, 2024 · e1d4c9e · e1d4c9e
2 parents 881f2ec + fa827f8
commit e1d4c9e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
@@ -1 +1 @@
-668959740f97e7a22ae340742886d330ab63950f
+c22887b4d97400e8e024e19fb5f724eda65ad58d