[webkit-reviews] review requested: [Bug 86310] [GStreamer] media/media-continues-playing-after-replace-source.html fails : [Attachment 147488] Patch

[bugzilla-daemon at webkit.org]

Philippe Normand <pnormand at igalia.com> has asked  for review:
Bug 86310: [GStreamer] media/media-continues-playing-after-replace-source.html
fails
https://bugs.webkit.org/show_bug.cgi?id=86310

Attachment 147488: Patch
https://bugs.webkit.org/attachment.cgi?id=147488&action=review