Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 2db6fb5bb45f80bf825831bc2449f0593f2f6eec
https://github.com/WebKit/WebKit/commit/2db6fb5bb45f80bf825831bc2449f0593f2f6eec
Author: Žan Doberšek <zdober...@igalia.com>
Date: 2023-10-30 (Mon, 30 Oct 2023)
Changed paths:
M Source/WebCore/platform/graphics/holepunch/MediaPlayerPrivateHolePunch.h
Log Message:
-----------
[GStreamer] Unreviewed MediaPlayerPrivateHolePunch build fixes
https://bugs.webkit.org/show_bug.cgi?id=263864
Unreviewed build fixes in the MediaPlayerPrivateHolePunch class, adjusting
and adding different virtual methods that don't align with the parent interface.
* Source/WebCore/platform/graphics/holepunch/MediaPlayerPrivateHolePunch.h:
Canonical link: https://commits.webkit.org/269926@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
