Skip to content

Auto merge of #12398 - WeiTheShinobi:bug-lint-numbered_fields, r=Mani… #17089

Auto merge of #12398 - WeiTheShinobi:bug-lint-numbered_fields, r=Mani…

Auto merge of #12398 - WeiTheShinobi:bug-lint-numbered_fields, r=Mani… #17089

clippy_dev

succeeded May 22, 2024 in 1m 0s