[Bug 13157] 4.5.13. Div element text change

http://www.w3.org/Bugs/Public/show_bug.cgi?id=13157

--- Comment #3 from contributor@whatwg.org 2011-08-11 21:44:31 UTC ---
Checked in as WHATWG revision r6422.
Check-in comment: be more positive
http://html5.org/tools/web-apps-tracker?from=6421&to=6422

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

Received on Thursday, 11 August 2011 21:44:33 UTC