|
From: | Jack Hill |
Subject: | [bug#67181] [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2. |
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: Id2a0cd7ec512a088ba6faf1a0eb7e7b500d95f7eWhy 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
[Prev in Thread] | Current Thread | [Next in Thread] |