On Fri, 21 Mar 2025 at 10:12, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> The patch looks good to me and seems worth applying to master.
Ok. Pushed.
David