user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Prepare for merging from rust-lang/rust

Browse source 
This updates the rust-version file to 8e3710ef31.
This commit is contained in:
The Miri Cronjob Bot 2025-08-22 04:54:12 +00:00
parent ad8b241e01
commit 9f15771d16
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/rust-version
View file

@ -1 +1 @@
125ff8a788c5d6a66917f499abdc00051afe6886
8e3710ef31a0b2cdf5a1c2f3929b7735d1e28c20