On Wed, Apr 17, 2024 at 7:21 AM John Naylor <johncnaylorls(at)gmail(dot)com> wrote:
>
> On Mon, Apr 15, 2024 at 9:20 PM Marina Polyakova
> <m(dot)polyakova(at)postgrespro(dot)ru> wrote:
> > Everything seems to work with this patch, thank you!
>
> Glad to hear it -- I'll push next week when I get back from vacation,
> unless there are objections.
Pushed, thanks for the report!