On Wed, Jan 11, 2023 at 4:07 PM Thomas Munro <thomas.mu...@gmail.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.