Prepare for merging from rust-lang/rust

This updates the rust-version file to 7a72c5459d.
This commit is contained in:
The Miri Cronjob Bot 2025-11-14 04:53:31 +00:00
parent a3955227a8
commit b115de9fa5

View file

@ -1 +1 @@
0b329f801a09004dacb19aaf09d5cb8b4c51d3f8
7a72c5459dd58f81b0e1a0e5436d145485889375