On Fri, 17 Feb 2023 at 21:44, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:> Updated patch attached.
After making another couple of small adjustments, I've pushed this.
Thanks for the review.
David