On Wed, Mar 26, 2025 at 12:32 PM Andrei Borodin <x4...@yandex-team.ru> wrote: > > > > 26.03.2025, 21:06, "Masahiko Sawada" <sawada.m...@gmail.com>: > > 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
