Thanks Craig/Reid ..
Yes it was duplicated ... Sorry
Regards,Dinesh
On Thu, Aug 2, 2012 at 6:20 AM, Craig Ringer <ringerc(at)ringerc(dot)id(dot)au> wrote:
> Argh, disregard. Your post was duplicated, and this copy only just reached> me.>