eric soroos <eric-psql@soroos.net> writes:
> I'd say that this patch is a candidate for 7.2.5 if there's ever
> another 7.2 release.
Yeah. I'm not sure that there will be another 7.2 release, but I'll pop
the patch into the 7.2 CVS branch while I'm thinking about it...
regards, tom lane