On Nov 10, 2013, at 10:52 AM, Mark S. Miller wrote: > 1) "#" is one of the few ascii characters we haven't used up yet. Let's not > use it up on a minor convenience.
But this is a very restrictive context. It isn't clear that it would impact any other possible usage. Allen _______________________________________________ es-discuss mailing list [email protected] https://mail.mozilla.org/listinfo/es-discuss
