Guillaume Lelarge <guillaume@lelarge.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