Prepare for merging from rust-lang/rust

This updates the rust-version file to 425a9c0a0e.
This commit is contained in:
The Miri Cronjob Bot 2025-08-18 04:59:33 +00:00
parent fb8ac986b1
commit 13bad19d7c

View file

@ -1 +1 @@
3507a749b365aae4eefa96ab700a9315d3280ee7
425a9c0a0e365c0b8c6cfd00c2ded83a73bed9a0