meskes@postgresql.org (Michael Meskes) writes:
> Log Message:
> -----------
> Added missing $Header$ entries.
You should be using $PostgreSQL$. Both $Header$ and $Id$ are deprecated
in Postgres CVS, because they cause problems for people trying to
maintain downstream copies in their own CVS trees.
regards, tom lane
