On 09/21/2010 05:09 PM, Tom Lane wrote:
> I was thinking of just removing it, but is there anything that ought to
> replace it?
I doubt it, unless you want git to put lines in with the commit hash,
which is about as close as it gets to a version number.
cheers
andrew