On Fri, 21 Mar 2025 at 10:12, David Rowley <dgrowle...@gmail.com> wrote:
> The patch looks good to me and seems worth applying to master.

Ok. Pushed.

David


Reply via email to