Zdenek Kotala <[EMAIL PROTECTED]> writes:
>>> 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.
>> Bruce periodically runs a script that's supposed to catch this type
>> of problem. Maybe we are overdue for another run?
> Yes, but This problem is there for long time and I think Bruce's script does
> catch it.
Exactly what problem do you see that he didn't catch?
regards, tom lane
Sent via pgsql-patches mailing list (firstname.lastname@example.org)
To make changes to your subscription: