On Mon, Jul 7, 2025 at 11:06 PM Tom Lane <[email protected]> wrote: > > John Naylor <[email protected]> writes: > > I see that now. If extensions follow the practice of including system > > headers before Postgres headers, it should be fine. I've attached v2 > > which removes the useless #undef and drafts an explanatory commit > > message. > > Works for me.
Pushed. -- John Naylor Amazon Web Services
