https://www.w3.org/Bugs/Public/show_bug.cgi?id=23208 --- Comment #5 from github bugzilla bot <sideshowbarker+gitzilla@gmail.com> --- Commit pushed to master at https://github.com/w3c/html https://github.com/w3c/html/commit/32c3e93f765dde4b0873c519cd4728305bada5f0 Adding W3C fork markers for HTML5 CR bug 23208. -- You are receiving this mail because: You are on the CC list for the bug. You reported the bug.Received on Wednesday, 8 January 2014 00:54:26 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:41:04 UTC