On Mon, Oct 9, 2023 at 7:35 PM David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
> Since you've managed to attribute this to a specific commit, for the
> future, I think instead of opening a new thread, it would be more
> useful to communicate the issue on the thread that's linked in the
> commit message.
Ah, yes, I should have done it that way, sorry.
Thanks
Richard