Skip to content

Make rules have titles as well as descriptions#1461

Merged
ajax146 merged 1 commit intomainfrom
RuleTitle
Apr 16, 2026
Merged

Make rules have titles as well as descriptions#1461
ajax146 merged 1 commit intomainfrom
RuleTitle

Commits

Commits on Apr 15, 2026