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

Attachment: OpenPGP_signature
Description: OpenPGP digital signature

Reply via email to