Skip to content

Split up the unknown_or_malformed_diagnostic_attributes lint#140717

Merged
bors merged 1 commit intorust-lang:masterfrom
mejrs:diagnostic_lints
Jul 13, 2025
Merged

Split up the `unknown_or_malformed_diagnostic_attributes` lint#140717
bors merged 1 commit intorust-lang:masterfrom
mejrs:diagnostic_lints

Commits

Commits on Jul 10, 2025