On Mon, Mar 17, 2025 at 11:54 PM David Rowley <[email protected]> wrote: > > On Tue, 18 Mar 2025 at 19:34, Masahiko Sawada <[email protected]> wrote: > > I've attached the updated patch. > > Looks good to me.
Thank you for reviewing the patch. Pushed (backpatched to v17). Regards, -- Masahiko Sawada Amazon Web Services: https://aws.amazon.com
