RESOLVED FIXED 45877
[GStreamer] un-needed header includes in MediaPlayerPrivate 
https://bugs.webkit.org/show_bug.cgi?id=45877
Summary [GStreamer] un-needed header includes in MediaPlayerPrivate
Philippe Normand
Reported 2010-09-16 02:36:33 PDT
Simple patch incoming
Attachments
proposed patch (2.02 KB, patch)
2010-09-16 03:08 PDT, Philippe Normand 		kling: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Philippe Normand
Comment 1 2010-09-16 03:08:59 PDT
Created attachment 67777 [details] proposed patch
Philippe Normand
Comment 2 2010-09-16 03:52:08 PDT
Committed r67602: <http://trac.webkit.org/changeset/67602>
Note You need to log in before you can comment on or make changes to this bug.