Skip to content

Commit 20807c0

Browse files
author
The Miri Cronjob Bot
committed
Preparing for merge from rustc
1 parent 9250984 commit 20807c0

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-
b688d53a1736c17e49328a706a90829a9937a91a
1+
0accf4ec4c07d23aa86f6a97aeb8797941abc30e

0 commit comments

Comments
 (0)