Skip to content

Auto merge of #143064 - flip1995:clippy-subtree-update, r=GuillaumeGomez #164671

Auto merge of #143064 - flip1995:clippy-subtree-update, r=GuillaumeGomez

Auto merge of #143064 - flip1995:clippy-subtree-update, r=GuillaumeGomez #164671

bors build finished

succeeded Jun 27, 2025 in 17s