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


Reply via email to