Bug 155236 - [GStreamer] fix media player conflicts
Summary: [GStreamer] fix media player conflicts
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebKitGTK (show other bugs)
Version: Other
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2016-03-09 10:07 PST by Philippe Normand
Modified: 2016-03-09 10:26 PST (History)
4 users (show)

See Also:

Attachments
patch (7.94 KB, patch)
2016-03-09 10:15 PST, Philippe Normand 		no flags Details | Formatted Diff | Diff
patch (7.92 KB, patch)
2016-03-09 10:15 PST, Philippe Normand 		mrobinson: review+
Details | Formatted Diff | Diff
Show Obsolete (1) View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Philippe Normand 2016-03-09 10:07:20 PST 
See https://bugs.webkit.org/show_bug.cgi?id=153540#c12
Comment 1 Philippe Normand 2016-03-09 10:15:02 PST 
Created attachment 273439 [details]
patch
Comment 2 Philippe Normand 2016-03-09 10:15:48 PST 
Created attachment 273440 [details]
patch
Comment 3 Martin Robinson 2016-03-09 10:22:54 PST 
Comment on attachment 273440 [details]
patch

Do you mind mentioning in the Changelog that this fixes tests failing on the bots?
Comment 4 Philippe Normand 2016-03-09 10:23:23 PST 
(In reply to comment #3)
> Comment on attachment 273440 [details]
> patch
> 
> Do you mind mentioning in the Changelog that this fixes tests failing on the
> bots?

Alright :)
Comment 5 Philippe Normand 2016-03-09 10:26:56 PST 
Committed r197863: <http://trac.webkit.org/changeset/197863>