On 12.08.25 17:46, Jacob Champion wrote:
> On Tue, Aug 12, 2025 at 8:37 AM Peter Eisentraut <peter(at)eisentraut(dot)org> wrote:
>> The whole thing is puzzling, since we use the same code in the backend,
>> without any Windows-specific guards. No clue.
>
> I think it's a CI-wide failure, or at least the cfbot is showing a red
> column at the moment.
Ok, then I'm going to be wild and commit it anyway. Done.