Hi, On 2026-09-18 10:05:21 -0700, Jacob Champion wrote: > On Fri, Sep 18, 2026 at 9:56 AM Andres Freund <[email protected]> wrote: > > I don't quite know what could have made it more likely, but I've never > > encountered it before the last few weeks and since then a few times. Any > > theories? > > I hit this two days ago, also on Windows. Have you seen it pop up on > other platforms?
I hit it locally, on linux, and in CI (mingw, linux). I don't really see a reason why this could be OS dependent, other than timing effects? Greetings, Andres Freund
