On 2025-Sep-26, Álvaro Herrera wrote: > Thank you, that makes sense. CI says that we still have problems in > mingw32 cross-compile apparently because of 0002, so I decided to ditch > it for now (it's non-essential anyway). Another failure is `make > headerscheck`, which hopefully I've fixed her: just tell it to skip this > file. Here's v4, which I would push right away except I want to see > if CI now turns green.
Pushed now, thanks. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
