Skip to content

Make rule name generation case-preserving#28

Merged
pmai merged 1 commit intomainfrom
feature/case-sensitive-rule-names
Nov 13, 2025
Merged

Make rule name generation case-preserving#28
pmai merged 1 commit intomainfrom
feature/case-sensitive-rule-names

Commits

Commits on Nov 11, 2025