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
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