Re: r12a/html5 character encoding (#253)

Well, here, you're just re-stating the default for all files, are you not (or am I missing something?).

View on GitHub: https://github.com/w3c/web-platform-tests/pull/253#discussion_r5266348

Received on Thursday, 18 July 2013 12:30:06 UTC