On Thu, Mar 27, 2025 at 10:31 PM Masahiko Sawada <sawada.m...@gmail.com> wrote: > > 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.
Pushed. Regards, -- Masahiko Sawada Amazon Web Services: https://aws.amazon.com