On 17.06.26 14:22, Jelte Fennema-Nio wrote:
> On Wed, 10 Jun 2026 at 12:46, Peter Eisentraut <peter(at)eisentraut(dot)org> wrote:
>> Here is an updated and expanded patch set.
>
> Those patches look good to me. Let's get them in early in the PG20
> cycle.
This has been committed. Except that the Tcl patch had to be reverted
because macOS still ships 8.5.