Alvaro Herrera <alvherre@commandprompt.com> writes:
> Zdenek Kotala wrote:
>> During my work I found some header files, which include useless headers
>> and on other way there are some headers which silently assume that
>> requested header will be included by some other headers file.
>>
>> This patch fixes these dependencies around bufpage.h, bufmgr.h
> What's the point here, again?
Bruce periodically runs a script that's supposed to catch this type
of problem. Maybe we are overdue for another run?
regards, tom lane