[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:42:11 +0000
To: public-html-bugzilla@w3.org
Message-ID: <bug-26258-2486-fxE7r8V8nl@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
----------------------------------------------------------------------------
   Target Milestone|---                         |LC

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

Received on Wednesday, 16 July 2014 10:42:13 UTC