Skip to content

Commit e1d4c9e

Browse files
RalfJungRalfJung
authored
Merge pull request #4023 from RalfJung/rustup
Preparing for merge from rustc
2 parents 881f2ec + fa827f8 commit e1d4c9e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎src/tools/miri/rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
668959740f97e7a22ae340742886d330ab63950f
1+
c22887b4d97400e8e024e19fb5f724eda65ad58d

0 commit comments

Comments
 (0)