On Sat, Jul 8, 2023 at 10:13 AM Thomas Munro <thomas.munro@gmail.com> wrote:
> Thanks. I will wait a bit to see if Peter has any other comments and
> then push this. I haven't actually tested with Solution.pm due to
> lack of CI for that, but fingers crossed, since the build systems will
> now agree, reducing the screw-up surface.
Done. Let's see what the build farm thinks...