I wrote:
> Magnus Hagander <magnus(at)hagander(dot)net> writes:
>> Go for it.
> Done.
Having done that, I now realize that the historical tag "release-6-3"
is identical to what I applied as REL6_3. It would probably be
reasonable to remove "release-6-3", if that's still possible, but
I'm not clear on how.
regards, tom lane
PS: this page is slightly amazing:
http://git.postgresql.org/gitweb?p=postgresql.git;a=tags
Fourteen years of project history. Wow.