Auto merge of #118507 - flip1995:clippy-subtree-sync, r=matthiaskrgr

Clippy subtree sync

r? `@Manishearth`
This commit is contained in:
bors 2023-12-02 11:41:55 +00:00
commit cacc7e9c3e

Diff content is not available