On Sat, Apr 8, 2023 at 4:47 PM Thomas Munro <thomas.mu...@gmail.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.