[Bug 7640] The definition of the "isindex" element here makes such elements' main interface be HTMLElement rather than HTMLUnknownElement. I suppose that's not intended from bugzilla@wiggum.w3.org on 2009-09-29 (public-html-bugzilla@w3.org from September 2009)

From: <bugzilla@wiggum.w3.org>
Date: Tue, 29 Sep 2009 01:47:26 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1MsRoM-0006Rv-AU@wiggum.w3.org>

http://www.w3.org/Bugs/Public/show_bug.cgi?id=7640


Ian 'Hixie' Hickson <ian@hixie.ch> changed:

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




--- Comment #1 from Ian 'Hixie' Hickson <ian@hixie.ch>  2009-09-29 01:47:26 ---
Man, competition in the pedant field is increasing. I might have to go practice
some more.


-- 
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 Tuesday, 29 September 2009 01:47:34 UTC