On Mon, Oct 9, 2023 at 7:35 PM David Rowley <dgrowle...@gmail.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