On Mon, Jul 7, 2025 at 11:06 PM Tom Lane <t...@sss.pgh.pa.us> wrote: > > John Naylor <johncnaylo...@gmail.com> 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
