Alvaro Herrera <alvherre@commandprompt.com> writes:
> What I'm wondering right now is what's the value of having this stuff
> in the source code at all.
So it will be in sync with the version of the source it's with?
If we move it to the wiki it'll be impractical to maintain the info
for anything except HEAD.
regards, tom lane