Bruce Momjian writes:
> > Is this right, or should "majorversion" still be 7.2? Right offhand
> > the latter seems correct ...
>
> I wasn't sure what to do here. I figured if the docs were regenerated,
> it should say 7.2.1, and if they aren't, then they will stay as 7.2.
But neither explanation warrants setting "majorversion" to 7.2.1.
--
Peter Eisentraut peter_e@gmx.net