Prepare for merging from rust-lang/rust

This updates the rust-version file to 23d01cd241.
This commit is contained in:
The Miri Cronjob Bot 2025-12-28 05:02:03 +00:00
parent 8742d86fb4
commit 4e2ad8a12a

View file

@ -1 +1 @@
38ed7700e7ba3adb7af96e3dcb2ba6dfa3a0c951
23d01cd2412583491621ab1ca4f1b01e37d11e39