On 01.12.23 17:41, Tom Lane wrote:
Peter Eisentraut <pe...@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.