Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 1ddcb1544050717de2abeba293cdcc8d04a9fdeb
https://github.com/WebKit/WebKit/commit/1ddcb1544050717de2abeba293cdcc8d04a9fdeb
Author: Diego Pino Garcia <[email protected]>
Date: 2025-01-04 (Sat, 04 Jan 2025)
Changed paths:
M Source/WebKit/PlatformGTK.cmake
Log Message:
-----------
[GTK] Unreviewed, build fix for Debian 12
https://bugs.webkit.org/show_bug.cgi?id=284216
Debian 12 bot builds with experimental features disabled, which means
ENABLE_WK_WEB_EXTENSIONS is disabled.
* Source/WebKit/PlatformGTK.cmake: Include file
'WebKitWebExtensionMatchPattern.h'
only if ENABLE_WK_WEB_EXTENSIONS is enabled.
Canonical link: https://commits.webkit.org/288434@main
To unsubscribe from these emails, change your notification settings at
https://github.com/WebKit/WebKit/settings/notifications
_______________________________________________
webkit-changes mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-changes
