Skip to content

Don't fail listing/1 if no clauses#2964

Open
rotu wants to merge 2 commits intomthom:masterfrom
rotu:patch-6
Open

Don't fail listing/1 if no clauses#2964
rotu wants to merge 2 commits intomthom:masterfrom
rotu:patch-6

Commits

Commits on May 21, 2025

Commits on Jul 8, 2025