Skip to content

Fix: Handle empty list in term_expansion/2 to remove terms without warnings#3137

Open
jjtolton wants to merge 2 commits intomthom:masterfrom
jjtolton:term-expansion-empty-list-clean
Open

Fix: Handle empty list in term_expansion/2 to remove terms without warnings#3137
jjtolton wants to merge 2 commits intomthom:masterfrom
jjtolton:term-expansion-empty-list-clean

Commits

Commits on Oct 25, 2025