Skip to content

Don't count discarded forms for the position of an inner rule - #711

Merged
bbatsov merged 1 commit into
masterfrom
skip-discarded-inner-index
Nov 7, 2026
Merged

bbatsov merged 1 commit into
masterfrom
skip-discarded-inner-index

Commits

  1. Commits on Nov 3, 2026