On Sat, Apr 8, 2023 at 4:47 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> After a bit more copy-editing on docs and comments and a round of
> automated indenting, I have now pushed this. I will now watch the
> build farm. I tested on quite a few OSes that I have access to, but
> this is obviously a very OS-sensitive kind of a thing.
Hmm. I see a strange "invalid page" failure on Andrew's machine crake
in 004_io_direct.pl. Let's see what else comes in.