Skip to content

Rule priorities, computed from the patterns rather than typed - #1106

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
rule-priorities
Aug 30, 2026
Merged

Rafael-SOWNet merged 1 commit into
masterfrom
rule-priorities

Commits

  1. Commits on Aug 30, 2026