On 2025-Oct-21, Daniil Davydov wrote: > On Sun, Oct 19, 2025 at 6:32 PM Álvaro Herrera <[email protected]> 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/
