Re: To be 7.1.3 or not to be 7.1.3?

teg@redhat.com (Trond Eivind Glomsrød) writes:
> That's a couple of days ago now... anything happening?

Bruce is evidently waiting on Hiroshi's confirmation that he's done
applying his back-patches.  I believe he is, though; he did apply
what I thought was the patch he had in mind.

Bruce, have you finished the documentation updates, or is that still
open?  You could probably get that done while waiting for Hiroshi's
answer...
        regards, tom lane