>>>>> "David" == David Daney <ddaney@xxxxxxxxxx> writes: David> I am not an expert in this realm, but this may be small enough David> so that an assignment is not necessary. Yes, I agree, particularly because there is really only one fix for this -- delete the '+' code. Actually, the proposed patch doesn't seem to go far enough in that direction... AFAICT a leading '+' is not allowed at all; there's no reason to check for it specially. Tom
