On Wed, 24 Jul 2024 at 21:47, David Rowley <dgrowleyml@gmail.com> wrote:
> I've only had a quick look so far, but I think the patch is now in the
> right shape. Unless there's some objections to how things are being
> done in v10, I plan to commit this in the next few days... modulo any
> minor adjustments.
I reviewed v10 today. I made some adjustments and pushed the result.
David