On Mon, 19 Aug 2024 at 18:41, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> The attached v5 patch includes this change.
I made a few more tweaks to the comments and pushed the result.
Thank you both of you for having a look at this.
David