> On 10 Jul 2025, at 09:33, Daniel Gustafsson <dan...@yesql.se> wrote: > >> On 5 Jul 2025, at 10:56, Peter Eisentraut <pe...@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
