Skip to content

Skip deprecated rules in list-unused-rules script - #8519

Merged
TomasVotruba merged 1 commit into
mainfrom
skip-deprecated-in-list-unused
Sep 29, 2026
Merged

TomasVotruba merged 1 commit into
mainfrom
skip-deprecated-in-list-unused

Commits

Commits on Sep 29, 2026