[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#67181: [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2.
From: |
Liliana Marie Prikler |
Subject: |
bug#67181: [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2. |
Date: |
Sun, 19 Nov 2023 09:53:25 +0100 |
User-agent: |
Evolution 3.46.4 |
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