[Bug 17239] Better naming than "HTML namespace" (editorial)

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

Dirk Schulze <dschulze@adobe.com> changed:

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

--- Comment #6 from Dirk Schulze <dschulze@adobe.com> ---
Removed all usages after changeset 604592536b17.

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