[Webkit-unassigned] [Bug 135802] MediaPlayerPrivateGStreamer rounds playback rate to integer

[bugzilla-daemon at webkit.org]

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





--- Comment #1 from Philippe Normand <pnormand at igalia.com>  2014-08-11 10:46:28 PST ---
Thanks for investigating this issue! Would you mind providing a patch? The whole procedure is explained there:

http://www.webkit.org/coding/contributing.html

Handy documentation if it's the first WebKit patch you're contributing.

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