Re: HTML5 vs HTML 5

Hello Steve,

I really didn't check lately, if the doc advanced to PR already, I'll be 
working on the PR now. Thanks!

Anyway I will have to run a diff later for the REC to be sure everything 
is in place and I have a look at the repository from time to time.

I will use the bug tracker from now on.

Thanks again
Stefan

the use of 'HTML 5' appears to be a bug, the best thing to do is file a bug
https://www.w3.org/Bugs/Public/enter_bug.cgi?product=HTML%20WG&component=HTML5%20spec&priority=P3

Received on Monday, 22 September 2014 08:05:26 UTC