Skip to content

Commit e8a25b0

Browse files
RalfJungRalfJung
committed
Preparing for merge from rustc
1 parent aa7afff commit e8a25b0

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-
d6fa38a9b2426487e010a6c16862132f89755e41
1+
61afc9c92896a43fce92bd5e3bba6274c5e3e960

0 commit comments

Comments
 (0)