Skip to content

Comments

Fix expanding "… != <x>..<x + 1>"#67

Merged
mlocati merged 2 commits intomainfrom
fix-not-in-expansion
Feb 23, 2026
Merged

Fix expanding "… != <x>..<x + 1>"#67
mlocati merged 2 commits intomainfrom
fix-not-in-expansion

Commits

Commits on Feb 23, 2026