> On 10 Jul 2025, at 09:33, Daniel Gustafsson <[email protected]> wrote: > >> On 5 Jul 2025, at 10:56, Peter Eisentraut <[email protected]> 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
