This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Most of the current references to the HTML spec point to the WHATWG. Since this is a W3C spec, it should point to the W3C copy of HTML5.
http://dvcs.w3.org/hg/webcomponents/rev/c25a8b3c545c