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