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
OpenPGP_signature
Description: OpenPGP digital signature