Re: pg_upgrade

> > > Since pg_upgrade will not work for 7.1, should its installation be
> > > prevented and the man page be disabled?
> > Probably.  I am not sure it will ever be used again now that we have
> > numeric file names.
> Perhaps we should leave it for 7.1 because people will complain when
> they can not find it.  Maybe we can mention this may go away in the next
> release.

If it doesn't work, and will not be made to work, then let's remove it
from the tree. If someone wants to resurrect it, then it is easily
retrieved from the cvs attic. But istm that it is not a bad thing if
people can not find something which will not work ;)

Comments?
                       - Thomas