Skip to content

Commit 74234de

Browse files
RalfJungRalfJung
committed
Preparing for merge from rustc
1 parent 396691a commit 74234de

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-
2f0ad2a71e4a4528bb80bcb24bf8fa4e50cb87c2
1+
2f348cb7ce4063fa4eb40038e6ada3c5214717bd

0 commit comments

Comments
 (0)