>>>>> "David" == David Daney <[EMAIL PROTECTED]> 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

Reply via email to