On 2024-04-27 09:14, John Naylor wrote:
> 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!
Thank you again!
--
Marina Polyakova
Postgres Professional: http://www.postgrespro.com
The Russian Postgres Company