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