> On 10 Aug 2026, at 08:15, Peter Smith <[email protected]> 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
