W3C home > Mailing lists > Public > public-html-bugzilla@w3.org > September 2009

[Bug 7512] suggested "replacement" for head/@profile does not work

From: <bugzilla@wiggum.w3.org>
Date: Thu, 24 Sep 2009 08:09:05 +0000
To: public-html-bugzilla@w3.org
Message-Id: <E1MqjNx-0002lo-1v@wiggum.w3.org>
http://www.w3.org/Bugs/Public/show_bug.cgi?id=7512





--- Comment #5 from Michael(tm) Smith <mike@w3.org>  2009-09-24 08:09:04 ---
(In reply to comment #4)
> I guess this will need to be escalated to an issue then. Mike, as you're
> reading this, are you ok with that?

How is this different from issue 55? (head/@profile missing, but used in other
specifications/formats)

Isn't the gist of this bug that the suggested replacement for the profile
attribute is not adequate and that therefore the profile attribute is still
needed? 


-- 
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 Thursday, 24 September 2009 08:09:13 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:01:01 UTC