On Thu, 9 Oct 2025 at 15:13, Michael Paquier <[email protected]> wrote: > What do you think about the attached?
Thanks. Looks pretty good. > + members = palloc(sizeof(int) * num_ops); Any reason to pfree that and allocate that to the same size as it already was? Wondering if the "members[pos] = members[--num_members];" is worth a short comment. Maybe something like: /* zap this member by moving the final array member into its place and shrinking the array by 1 */ David
