On Sat, Jul 8, 2023 at 10:13 AM Thomas Munro <thomas.mu...@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...
