Skip to content

Commit 6d41c63

Browse files
committed
Auto merge of #2578 - RalfJung:rustc_tools_util, r=RalfJung
2 parents c5faacc + d867ce1 commit 6d41c63

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

cargo-miri/Cargo.lock

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)