[Bug 7453] "preferred name" should be "preferred MIME name" but it should also state that if there is no preferred MIME name for the encoding the name of the encoding should be used.

From: <bugzilla@wiggum.w3.org> Date: Mon, 21 Sep 2009 23:37:06 +0000 To: public-html-bugzilla@w3.org Message-Id: <E1MpsRO-00032d-Ft@wiggum.w3.org> · This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:01:01 UTC

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


--- Comment #1 from contributor@whatwg.org  2009-09-21 23:37:06 ---
Checked in as WHATWG revision r3943.
Check-in comment: Tighten up the definition and use of the terms 'preferred
name' and 'preferred MIME name'.
http://html5.org/tools/web-apps-tracker?from=3942&to=3943


-- 
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.