[webkit-changes] [WebKit/WebKit] f86d28: Fix build error with MEDIA_STREAM=OFF
Pablo Saavedra
noreply at github.com
Sat Feb 25 15:12:18 PST 2023
Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: f86d288403eec12b32eff1ff5a34d785bbd0969b
https://github.com/WebKit/WebKit/commit/f86d288403eec12b32eff1ff5a34d785bbd0969b
Author: Pablo Saavedra <psaavedra at igalia.com>
Date: 2023-02-25 (Sat, 25 Feb 2023)
Changed paths:
M Source/WebCore/platform/audio/gstreamer/AudioSourceProviderGStreamer.cpp
Log Message:
-----------
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
More information about the webkit-changes
mailing list