Hello,

On Tue, Jul 4, 2023 at 9:36 AM David Rowley <[email protected]> wrote:
> I've now pushed the patch.

Thanks for the commit!

-- 
Best regards,
Yuya Watari


Reply via email to