[Bug 2272] <number> should not require a digit

http://www.w3.org/Bugs/Public/show_bug.cgi?id=2272


ot@w3.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




------- Comment #7 from ot@w3.org  2006-03-16 06:03 -------
Jesse,
Your patch is now in the CVS codebase, and tested successfully. We'll update
the production service soon with it and a bunch of other bugfixes.

Thanks!

Received on Thursday, 16 March 2006 06:03:31 UTC