On 10/8/22 1:40 PM, Andres Freund wrote:
> On 2022-10-08 09:53:50 -0700, Andres Freund wrote:
>> On 2022-10-07 19:56:33 -0700, Andres Freund wrote:
>>> I'm planning to push this either later tonight (if I feel up to it after
>>> cooking dinner) or tomorrow morning PST, due to the release wrap deadline.
>>
>> I looked this over again, tested a bit more, and pushed the adjusted 15 and
>> master versions to github to get a CI run. Once that passes, as I expect, I'll
>> push them for real.
>
> Those passed and thus pushed.
>
> Thanks for the report, debugging and review everyone!
Thanks for the quick turnaround! I've closed the open item.
Thanks,
Jonathan