Skip to content

The leading-particle claim takes its group, not the rest of the name (#390, #365) - #391

Closed
derek73 wants to merge 1 commit into
masterfrom
fix/390-fold-takes-particle-group
Closed

The leading-particle claim takes its group, not the rest of the name (#390, #365)#391
derek73 wants to merge 1 commit into
masterfrom
fix/390-fold-takes-particle-group

Commits

Commits on Aug 17, 2026