Update partition() signature for de-lifetiming of Pattern#8
Merged
jwodder merged 1 commit intomasterfrom pattern-updateJul 25, 2024
+1-4
partition() signature for de-lifetiming of Pattern#8