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/
