[webkit-changes] [WebKit/WebKit] d15290: Cherry-pick 260843 at main (f86d288403ee). https://bu...

[Pablo Saavedra]

  Branch: refs/heads/webkitglib/2.40
  Home:   https://github.com/WebKit/WebKit
  Commit: d152900b96d68e93ca58a1a8e58ed41e1c3f1127
      https://github.com/WebKit/WebKit/commit/d152900b96d68e93ca58a1a8e58ed41e1c3f1127
  Author: Pablo Saavedra <psaavedra at igalia.com>
  Date:   2023-03-09 (Thu, 09 Mar 2023)

  Changed paths:
    M Source/WebCore/platform/audio/gstreamer/AudioSourceProviderGStreamer.cpp

  Log Message:
  -----------
  Cherry-pick 260843 at main (f86d288403ee). https://bugs.webkit.org/show_bug.cgi?id=252892

    Fix build error with MEDIA_STREAM=OFF
    https://bugs.webkit.org/show_bug.cgi?id=252892

    Reviewed by Philippe Normand.

    * Source/WebCore/platform/audio/gstreamer/AudioSourceProviderGStreamer.cpp:
    (WebCore::AudioSourceProviderGStreamer::~AudioSourceProviderGStreamer):

    Canonical link: https://commits.webkit.org/260843@main