Auto merge of #3112 - RalfJung:rustup, r=RalfJung

Rustup preparing for rustc-push
rust-lang · Oct 6, 2023 · d1e0f13 · d1e0f13
2 parents 9cce0f0 + 535927b
commit d1e0f13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rust-version b/rust-version
@@ -1 +1 @@
-bb6c66be3793ac5c738eeac91ecdc4b99388d0b4
+1bc0463b183392ad4e0ae9c5f7a76630d487230d