Skip to content

Commit d628338

Browse files
RalfJungRalfJung
committed
Preparing for merge from rustc
1 parent a456149 commit d628338

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-
2ba4eb2d49e774b5fbc2a06258ac7b0f60b92b7e
1+
bb6c66be3793ac5c738eeac91ecdc4b99388d0b4

0 commit comments

Comments
 (0)