Subject: Re: bug#36419: webkitgtk fixed in later release?
From: Ludovic Courtès <[email-masked]>
To: Jack Hill <[email-masked]>
Cc: [email-masked]
Date: Tue, 24 Sep 2019 10:19:50 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello,

Jack Hill <[email-masked]> skribis:

> Today I was able to build webkitgkt 2.24.4 with Guix commit
> 4343eebfc9f7d44ec9a665f3374d1397301b542e. It looks like it is also
> available on ci.guix.gnu.org:
>
> https://ci.guix.gnu.org/25hz999kgcjh4alm6liwm12jm3blf5zz.narinfo
>
> This is a newer release of webkitgtk than the one that failed
> (2.24.2). Do we think this means that webkitgtk build problem has been
> fixed, or did we just get lucky with this release?
>
> My feeling is that we should close this bug and can open a new one if
> it re-occurs.

I agree.  Closed!

Thanks for following up on this,
Ludo’.