I wrote: > Thomas Munro <[email protected]> writes: >> On Wed, Jul 6, 2022 at 11:37 AM Tom Lane <[email protected]> wrote: >>> qsort_interruptible
>> +1
> So here's a patch that does it that way.
Hearing no comments, pushed.
regards, tom lane
