On 2025-Oct-21, Daniil Davydov wrote:
> On Sun, Oct 19, 2025 at 6:32 PM Álvaro Herrera <alvherre(at)kurilemu(dot)de> wrote:
> >
> > I edited your comments a bit. What do you think of this version?
>
> Thanks for looking into this! All added changes LGTM.
Okay, pushed, thanks.
--
Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/