On Wed, 24 Jul 2024 at 21:47, David Rowley <dgrowle...@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
