W3C home > Mailing lists > Public > public-script-coord@w3.org > April to June 2012

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

From: <bugzilla@jessica.w3.org>
Date: Fri, 22 Jun 2012 06:31:58 +0000
To: public-script-coord@w3.org
Message-Id: <E1ShxPS-0001i8-N1@jessica.w3.org>
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 on the CC list for the bug.
Received on Friday, 22 June 2012 06:32:00 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 8 May 2013 19:30:06 UTC