Skip to content

Commit ee00d0f

Browse files
author
The Miri Cronjob Bot
committed
Preparing for merge from rustc
1 parent 941a971 commit ee00d0f

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-
a5584a8fe16037dc01782064fa41424a6dbe9987
1+
c31cccb7b5cc098b1a8c1794ed38d7fdbec0ccb0

0 commit comments

Comments
 (0)