Skip to content

Commit d9619ed

Browse files
author
The Miri Cronjob Bot
committed
Prepare for merging from rust-lang/rust
This updates the rust-version file to 9385c64.
1 parent ddd0cef commit d9619ed

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-
51ff895062ba60a7cba53f57af928c3fb7b0f2f4
1+
9385c64c95d971329e62917adc4349c8ccdbafe0

0 commit comments

Comments
 (0)