[Webkit-unassigned] [Bug 86769] mediaControls()->playbackStarted() may be called more than once

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=86769





--- Comment #13 from Rob Buis <rwlbuis at gmail.com>  2012-05-22 13:09:48 PST ---
(In reply to comment #12)
> (In reply to comment #11)
> > (From update of attachment 142535 [details] [details])
> > r- based on comment #9.
> 
> Rob, can you give more details on why you gave my patch an r-? It's my understanding that the only outstanding item is a test. If you have a problem with the code diff itself, please explain and I will withdraw this bug.

"I've stopped calling mediaPlayerTimeChanged() unnecessarily, and the patch attached to this PR is no longer needed."

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.