[Bug 26258] "skip White_Space characters" is defined but not used anywhere from bugzilla@jessica.w3.org on 2014-07-16 (public-html-bugzilla@w3.org from July 2014)

From: <bugzilla@jessica.w3.org>
Date: Wed, 16 Jul 2014 10:41:38 +0000
To: public-html-bugzilla@w3.org
Message-ID: <bug-26258-2486-Nxxq366tMb@http.www.w3.org/Bugs/Public/>

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

Robin Berjon <robin@w3.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |robin@w3.org
         Resolution|---                         |FIXED

--- Comment #1 from Robin Berjon <robin@w3.org> ---
Fixed in 5386724 and ffc0ccc, thanks!

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Wednesday, 16 July 2014 10:41:40 UTC