> On 10 Jul 2025, at 09:33, Daniel Gustafsson <daniel@yesql.se> wrote:
>
>> On 5 Jul 2025, at 10:56, Peter Eisentraut <peter@eisentraut.org> wrote:
>
>> This patch version looks good to me.
>
> Thanks for review, I'll get it committed shortly.
This was committed yesterday ahead of the beta release.
--
Daniel Gustafsson