GNU bug report logs - #66480
[PATCH gnome-team WIP 0/2] Update WebkitGTK

Previous Next

Package: guix-patches;

Reported by: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Date: Thu, 12 Oct 2023 06:54:02 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

Message #52 received at 66480-done <at> debbugs.gnu.org (full text, mbox):

From: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
To: Vivien Kraus <vivien <at> planete-kraus.eu>, 66480-done <at> debbugs.gnu.org
Subject: Re: [PATCH gnome-team] fixup! gnu: Make webkitgtk-next the new
 webkitgtk.
Date: Mon, 23 Oct 2023 00:29:19 +0200

Am Sonntag, dem 22.10.2023 um 15:01 +0200 schrieb Vivien Kraus:
> ---
> Dear guix,
> 
> I was puzzled as to why webkitgtk-with-libsoup2 received -
> DUSE_GTK4=ON, when it was strictly removed from its base, webkitgtk-
> for-gtk3.  Now I know.
Sorry, saw this too late.  Pushed the series with the previous fixup
but without this one.  Added this one now.  Marking as done, but feel
free to reopen if this breaks builds.

Cheers
This bug report was last modified 1 year and 215 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.