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

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





------- Additional Comments From ot@w3.org  2006-02-17 00:33 -------
(In reply to comment #5)

Jesse, thanks for your patch. We're reviewing it now.

Received on Friday, 17 February 2006 00:34:26 UTC