On Wed, Jan 11, 2023 at 4:07 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> Thanks. Here's v10. I'll wait a bit longer to see if anyone else has feedback.
Pushed, after a few very minor adjustments, mostly comments. Thanks
for the reviews and pointers. I think there are quite a lot of
refactoring and refinement opportunities unlocked by this change (I
have some draft proposals already), but for now I'll keep an eye on
the build farm.