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

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Mon Aug 11 10:46:18 PDT 2014


--- 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:


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.

More information about the webkit-unassigned mailing list