Checkout
yoshiki
committed
on 19 Jan 01
Forward port OtherBill's fix from 1.3.