Subject: [bug#67181] [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2.

From: Jack Hill <[email-masked]>
Date: Wed, 15 Nov 2023 00:42:22 -0500 (EST)

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.

Best,
Jack