On 20.03.2023 at 19:47, Gregory Stark (as CFM) wrote:
> Looks like a lot of good work was happening on this patch right up
> until mid-February. Is there a lot of work left? Do you think you'll
> have a chance to wrap it up this commitfest for this release?
Thanks for the ping.
I had another look this morning and I think I can probably finish this
by the end of the week.