Mark Rae <m.rae@inpharmatica.co.uk> writes:
> Yup, that seems to have fixed the problem.
Thanks.
> I actually hand patched 7.2b4 as the patch was (I assume) against CVS.
> I can try the current CVS version if you want to be really sure.
No need.
regards, tom lane