Auto merge of #2578 - RalfJung:rustc_tools_util, r=RalfJung

bump rustc_tools_util Cc rust-lang/rust-clippy#9553
rust-lang · Oct 2, 2022 · 30ab2d1 · 30ab2d1
2 parents f631463 + 89bae8f
commit 30ab2d1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/cargo-miri/Cargo.lock b/cargo-miri/Cargo.lock