- From: <bugzilla@wiggum.w3.org>
- Date: Wed, 23 Jul 2008 02:04:16 +0000
- To: public-html-bugzilla@w3.org
http://www.w3.org/Bugs/Public/show_bug.cgi?id=5808
Ian 'Hixie' Hickson <ian@hixie.ch> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution| |FIXED
--- Comment #3 from Ian 'Hixie' Hickson <ian@hixie.ch> 2008-07-23 02:04:16 ---
Done, but I didn't always follow your suggestions. In particular, I made bad
names and attributes just get mutated so that bad characters turn into "_"
characters, with clashes being dealt with by dropping attributes, instead of
suggesting using a mapping function.
--
Configure bugmail: http://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 Wednesday, 23 July 2008 02:04:50 UTC