Hello,

On Tue, Jul 4, 2023 at 9:36 AM David Rowley <dgrowle...@gmail.com> wrote:
> I've now pushed the patch.

Thanks for the commit!

-- 
Best regards,
Yuya Watari


Reply via email to