> On 10 Aug 2026, at 08:15, Peter Smith <smithpb2250(at)gmail(dot)com> wrote:
> I also think it only needs to be fixed in HEAD. And, the PG20 branch
> started ages ago, so AFAIK there are no blockers for this patch
> anymore.
Maybe not ages ago (~6 weeks) but agreed that this can go master only, patch
pushed.
--
Daniel Gustafsson