Guillaume Lelarge <guillaume(at)lelarge(dot)info> writes:
> Tom Lane a crit :
>> The attached patch does this, and seems to resolve Guillaume Lelarge's
>> original complaint.
> It does resolve it. I applied your patch on my CVS HEAD checkout and it
> works just great.
Patch is applied to CVS.
regards, tom lane