Another bug report complaining of include file name conflicts came injust now. The only solution I can see is to rename config.h tosomething more project-specific. Should we do this, or keep ignoringthe problem?
regards, tom lane