Reactivate unused attribute check for `@int`#6802

Merged

cknitt merged 1 commit intomasterfrom unused-attribute-int

Jun 1, 2024

+3-3

Commits on Jun 1, 2024

Reactivate unused attribute check for @int
cknitt
committed