[Bug 17435] WebIDL: Bug in definition of whitespace terminal?

https://www.w3.org/Bugs/Public/show_bug.cgi?id=17435

Cameron McCormack <cam@mcc.id.au> changed:

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

--- Comment #1 from Cameron McCormack <cam@mcc.id.au> 2012-06-22 06:31:58 UTC ---
You are right, although this needs to be written as (.|\n) rather than [.\n]. 
Fixed now:

http://dev.w3.org/cvsweb/2006/webapi/WebIDL/Overview.xml.diff?r1=1.541;r2=1.542;f=h

-- 
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 22 June 2012 06:32:01 UTC