Auto merge of rust-lang#2860 - RalfJung:rustup, r=RalfJung

Rustup
RalfJung · Apr 28, 2023 · 6aecadd · 6aecadd
2 parents 1b55b3b + fe0df5a
commit 6aecadd
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 @@
-70540d51275086ce1a4cb12e9d96a97134df792e
+43a78029b4f4d92978b8fde0a677ea300b113c41