"Kardos, Dr. Andreas" <kardos@repas-aeg.de> writes:
> I am that other guy. We have fixed our dependency maker in the meantime.
Well, given that Andreas no longer cares, I'm happy to change it back to
the way it was. "" is definitely more consistent with what we have done
in other include files.
regards, tom lane