Hi all,
If you are building WebKitGTK 2.39.4 for GTK 3, you'll need to use the
following two patches to avoid installing broken public headers:
https://github.com/WebKit/WebKit/commit/9fe47e98a7f3b542413f3793912b291599f05860.patch
https://github.com/WebKit/WebKit/commit/8f11ad0813c37f4bd8ee43ecac733892a57e2a03.patch
Thanks to Thomas Devoogdt for fixing these issues.
Michael
_______________________________________________
webkit-gtk mailing list
webkit-gtk@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-gtk
