Skip to content

BUGFIX: Apply rules also to occurrences in conditions#151

Merged
dlubitz merged 1 commit intomainfrom
bugfix-conditions
Jan 6, 2026
Merged

BUGFIX: Apply rules also to occurrences in conditions#151
dlubitz merged 1 commit intomainfrom
bugfix-conditions

Commits

Commits on Dec 28, 2025