"Nigel J. Andrews" <nandrews@investsystems.co.uk> writes:
> I haven't seen a notice that Bruce noticed this patch I sent across
> general as part of a rambling thread of mine.
Not sure why he missed it, but I've applied it to CVS tip. Thanks.
regards, tom lane