On Tue, Sep 8, 2026 at 11:57 AM Alvaro Herrera <[email protected]> wrote: > > On 2026-Sep-08, Masahiko Sawada wrote: > > > On Tue, Sep 8, 2026 at 5:47 AM Alvaro Herrera <[email protected]> wrote: > > > > Would you push this patch, or do you want me to? > > > > I can take it if you are okay, as it's a trivial fix. > > Yeah, sounds good, thanks.
Pushed. Regards, -- Masahiko Sawada Amazon Web Services: https://aws.amazon.com
