[Bug 13780] The variable "default encoding" is never used. Rename to "encoding"?

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

--- Comment #2 from contributor@whatwg.org 2011-10-11 22:58:48 UTC ---
Checked in as WHATWG revision r6660.
Check-in comment: typo
http://html5.org/tools/web-apps-tracker?from=6659&to=6660

-- 
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, 11 October 2011 22:58:50 UTC