mathieu/os-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source 
Preparing for merge from rustc

Unblocks https://github.com/rust-lang/miri/pull/3526.
This commit is contained in:
bors 2024-05-03 18:18:27 +00:00
commit dcf956c365
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -1 +1 @@
79734f1db8dbe322192dea32c0f6b80ab14c4c1d
d6d3b342e85272f5e75c0d7a1dd3a1d8becb40ac