Subject: Re: [bug#67181] [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2.
From: Liliana Marie Prikler <[email-masked]>
To: Jack Hill <[email-masked]>
Cc: [email-masked], Raghav Gururajan <[email-masked]>, Maxim Cournoyer <[email-masked]>
Date: Sun, 19 Nov 2023 09:53:25 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Am Mittwoch, dem 15.11.2023 um 00:42 -0500 schrieb Jack Hill:
> On Wed, 15 Nov 2023, Liliana Marie Prikler wrote:
> 
> > Am Dienstag, dem 14.11.2023 um 16:50 -0500 schrieb Jack Hill:
> > > * gnu/packages/webkit.scm (webkitgtk): Update to 2.42.2.
> > > 
> > > Change-Id: Id2a0cd7ec512a088ba6faf1a0eb7e7b500d95f7e
> > Why not?  We got webkit rebuilds queued anyways.
> > Does it build locally or should I wait for CI?
> 
> My local build (x86_64 linux-libre) has now completed! Both webkitgtk
> and the gtk+-3 varient.
Thanks for testing.  Pushed so that the build farm may catch up.

Cheers