jeffd
committed
on 21 Jan 03
merge bartt PG 7.3 fixes from HEAD