Subject: Re: [PATCH gnome-team] fixup! gnu: Make webkitgtk-next the new webkitgtk.

From: Liliana Marie Prikler <[email-masked]>
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