On 01.12.23 17:41, Tom Lane wrote:
> Peter Eisentraut <peter@eisentraut.org> writes:
>> I noticed that some header files included system header files for no
>> apparent reason, so I did some digging and found out that in a few cases
>> the original reason has disappeared. So I propose the attached patches
>> to remove the unnecessary includes.
>
> Seems generally reasonable. Have you checked that headerscheck and
> cpluspluscheck are happy?
Yes, I ran it through Cirrus, which includes those checks.