Remove unnecessary includes of system headers in header files

2023-11-30 Thread Peter Eisentraut
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.From 535c69e62f1ed3db27ea6d39d304ebfcf0f12a29 M

<    1   2