Peter Eisentraut <peter_e@gmx.net> writes:
> b) The tag isn't actually version-stamped. configure/configure.in still
> say 9.0devel.
Sure, because the tag is on a branch. According to the commit message
that went by, Robert did that correctly:
http://archives.postgresql.org/pgsql-committers/2010-03/msg00378.php
regards, tom lane