On Fri, Apr 9, 2010 at 6:29 PM, Lex Spoon <sp...@google.com> wrote: > Changing it is fine. However, the ideal change would be to whichever way > takes the fewest bytes! >
Well, not if we are using it in contexts where it is expected to be all digits, as in the original bug. -- John A. Tamplin Software Engineer (GWT), Google -- http://groups.google.com/group/Google-Web-Toolkit-Contributors To unsubscribe, reply using "remove me" as the subject.
