On Wed, Mar 26, 2025 at 12:32 PM Andrei Borodin <[email protected]> wrote: > > > > 26.03.2025, 21:06, "Masahiko Sawada" <[email protected]>: > > Agreed. I've done this in the attached patch. > > Great! The patch looks good to me.
Thank you for reviewing it. I'm going to push the fix tomorrow, barring further comments. Regards, -- Masahiko Sawada Amazon Web Services: https://aws.amazon.com
