[Webkit-unassigned] [Bug 45877] [GStreamer] un-needed header includes in MediaPlayerPrivate

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Sep 16 03:52:08 PDT 2010


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


Philippe Normand <pnormand at igalia.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




--- Comment #2 from Philippe Normand <pnormand at igalia.com>  2010-09-16 03:52:08 PST ---
Committed r67602: <http://trac.webkit.org/changeset/67602>

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