I said:
> Still need to do a release-history entry and version-stamp, of course.
> I will do a diff of the 7.2 branch tree this afternoon and make sure
> the code looks good.
Code checked, regression tests run. Bruce, the ball's in your court ...
regards, tom lane