Skip to content

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

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

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

auto - pr-check-1

succeeded Aug 22, 2025 in 32m 43s