On Wed, Apr 17, 2024 at 7:21 AM John Naylor <johncnaylorls@gmail.com> wrote:
>
> On Mon, Apr 15, 2024 at 9:20 PM Marina Polyakova
> <m.polyakova@postgrespro.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!