Skip to content

Update partition() signature for de-lifetiming of Pattern#8

Merged
jwodder merged 1 commit intomasterfrom
pattern-update
Jul 25, 2024
Merged

Update `partition()` signature for de-lifetiming of `Pattern`#8
jwodder merged 1 commit intomasterfrom
pattern-update

Commits

Commits on Jul 25, 2024