Skip to content

[depre] Remove 4 rules deprecated since 2025-10 - #743

Merged
TomasVotruba merged 1 commit into
mainfrom
remove-long-deprecated-rules
Jul 31, 2026
Merged

[depre] Remove 4 rules deprecated since 2025-10#743
TomasVotruba merged 1 commit into
mainfrom
remove-long-deprecated-rules

Commits

Commits on Jul 31, 2026