Skip to content

Auto merge of #143745 - flip1995:clippy-subtree-update, r=Manishearth #167273

Auto merge of #143745 - flip1995:clippy-subtree-update, r=Manishearth

Auto merge of #143745 - flip1995:clippy-subtree-update, r=Manishearth #167273

bors build finished

succeeded Jul 14, 2025 in 13s