Add allow_attribute lint#10481
Merged
bors merged 7 commits intorust-lang:masterfrom Mar 16, 2023
Merged
Commits
Commits on Mar 10, 2023
- committed
- committed
Commits on Mar 11, 2023
Commits on Mar 15, 2023
- committed
Commits on Mar 16, 2023
- authored andcommitted
