This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
in section "4.9.3 The colgroup element" you can read a sentence written twice: Tag omission in text/html: A colgroup element's end tag may be omitted if the colgroup element is not immediately followed by a space character or a comment. A colgroup element's end tag may be omitted if the colgroup element is not immediately followed by a space character or a comment.
HTML5.1 Bugzilla Bug Triage: Fixed by commit: https://github.com/travisleithead/html/commit/667869a91657259dac4ed4b9bedf33f8f9afbac3 (waiting on PR merge) If this resolution is not satisfactory, please copy the relevant bug details/proposal into a new issue at the W3C HTML5 Issue tracker: https://github.com/w3c/html/issues/new where it will be re-triaged. Thanks!