[webkit-gtk] WebKitGTK+ 2.23.2 released!

[Cadu Bentzen]

Hi,

On Fri, 11 Jan 2019 at 18:32 Eike Rathke <erack at redhat.com> wrote:

> Hi,
>
> On Tuesday, 2019-01-08 10:20:07 +0100, Carlos Garcia Campos wrote:
>
> > https://webkitgtk.org/releases/webkitgtk-2.23.2.tar.xz
>
> Previous releases had Tools/gtk/{generate-gtkdoc,gtkdoc.py}, which were
> moved to Tools/gtkdoc/ but the entire Tools/gtkdoc/ directory is missing
> in the release tarball, the build then breaks with ENABLE_GTKDOC=ON


Unfortunately this bug sneaked in the unstable release :/

The patch to fix it is to be landed upstream at
https://bugs.webkit.org/show_bug.cgi?id=178900

Best regards,
Carlos Eduardo Ramalho.
-- 
*Carlos Eduardo Ramalho*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-gtk/attachments/20190111/61d7eabd/attachment.html>