bug#66480: closed ([PATCH gnome-team WIP 0/2] Update WebkitGTK)

[GNU bug Tracking System]

Your message dated Mon, 23 Oct 2023 00:29:19 +0200
with message-id <7a1766c45b274cfba01e97e24002b0aeec425cbb.camel@gmail.com>
and subject line Re: [PATCH gnome-team] fixup! gnu: Make webkitgtk-next the new 
webkitgtk.
has caused the debbugs.gnu.org bug report #66480,
regarding [PATCH gnome-team WIP 0/2] Update WebkitGTK
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
66480: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=66480
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team WIP 0/2] Update WebkitGTK
>
>
>
>
> Date: 
>
> Thu, 12 Oct 2023 08:37:49 +0200
>
>
>
>
> Hi Guix,
>
> our Webkit is a tad bit out of date, so let's at least update it on the
> gnome-team branch.  Also, since we have a Webkit 6.0 typelib now, let's
> make it the default Webkit for everyone.  What could go wrong?
>
> (hopefully this won't go like <https://qa.guix.gnu.org/issue/66019> where
>  the CI refused to compute stuff)
>
> Liliana Marie Prikler (2):
>   gnu: webkitgtk: Update to 2.42.1.
>   gnu: Make webkitgtk-next the new webkitgtk.
>
>  gnu/packages/geo.scm          |  2 +-
>  gnu/packages/gnome.scm        | 24 ++++++++++++------------
>  gnu/packages/guile-xyz.scm    |  6 +++---
>  gnu/packages/lisp-xyz.scm     |  2 +-
>  gnu/packages/mail.scm         |  2 +-
>  gnu/packages/mate.scm         |  2 +-
>  gnu/packages/music.scm        |  2 +-
>  gnu/packages/rednotebook.scm  |  3 ++-
>  gnu/packages/syndication.scm  |  2 +-
>  gnu/packages/telegram.scm     |  2 +-
>  gnu/packages/vnc.scm          |  2 +-
>  gnu/packages/web-browsers.scm |  2 +-
>  gnu/packages/webkit.scm       | 32 +++++++++++++++-----------------
>  13 files changed, 41 insertions(+), 42 deletions(-)
>
>
> base-commit: b701a7018d94aebef6a967ec235c72c1f7cdfe5c
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH gnome-team] fixup! gnu: Make webkitgtk-next the new webkitgtk.
>
>
>
>
> Date: 
>
> Mon, 23 Oct 2023 00:29:19 +0200
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> 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
>
>
> --- End Message ---