Bruce Momjian <pgman@candle.pha.pa.us> writes:
>> But neither explanation warrants setting "majorversion" to 7.2.1.
> Why? Why shouldn't the documentation match the release number?
Did you look at how majorversion is used?
Setting it to 7.2.1 is *clearly* wrong.
regards, tom lane