This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
2.7.4 Extracting encodings from meta elements http://www.w3.org/TR/html5/fetching-resources.html#extracting-encodings-from-meta-elements step 3, step 5. These characters are the "space characters" defined in 2.5.1. Why not use that term?
This bug was cloned to create bug 17863 as part of operation convergence.
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If you are satisfied with this response, please change the state of this bug to CLOSED. If you have additional information and would like the Editor to reconsider, please reopen this bug. If you would like to escalate the issue to the full HTML Working Group, please add the TrackerRequest keyword to this bug, and suggest title and text for the Tracker Issue; or you may create a Tracker Issue yourself, if you are able to do so. For more details, see this document: http://dev.w3.org/html5/decision-policy/decision-policy.html Status: Accepted Change Description: Made the change as requested. Rationale: DRY https://github.com/w3c/html/commit/06b3575a8ce82ee19d697da50b489bd2d70707a5
After discussion with Robin, I also merged in the more extensive patch from Ian: https://github.com/w3c/html/commit/4ce3417e1790a2d921add9faf4dae6f47f5f8b85 In particular, there was one occurance of "skip any U+0009, U+000A, U+000C, U+000D, or U+0020.." missed.
The I18N WG is satisfied with this change. Thank you.