bug#67655: closed ([PATCH]: Update webkitgtk to 2.42.3)

[GNU bug Tracking System]

Your message dated Mon, 18 Dec 2023 09:34:59 +0100
with message-id <6c56b6c23925889a3544f964b4a2c537d07c9cf9.camel@gmail.com>
and subject line Re: Request to merge "wip-webkit" branch
has caused the debbugs.gnu.org bug report #67655,
regarding [PATCH]: Update webkitgtk to 2.42.3
to be marked as done.

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


-- 
67655: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67655
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: [PATCH]: Update webkitgtk to 2.42.3 Date: Wed, 06 Dec 2023 10:10:59 +0200 User-agent: Gnus/5.13 (Gnus v5.13)

Hi Guix,

Tested the build locally by running the minibrowser and it works fine
(x86-64).  Thanks.

-- 
André A. Gomes
"You cannot even find the ruins..."

0001-gnu-webkitgtk-Update-to-2.42.3.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: Request to merge "wip-webkit" branch
>
>
>
>
> Date: 
>
> Mon, 18 Dec 2023 09:34:59 +0100
>
>
>
>
> User-agent: 
>
> Evolution 3.46.4 
>
>
>
>
> Am Freitag, dem 08.12.2023 um 21:00 +0100 schrieb Liliana Marie
> Prikler:
> > Fixes: Our Webkit is way out of date <https://bugs.gnu.org/67655>
> Pushed to master.  We should now all be able to enjoy new Webkit with
> substitutes for gnome already built.
>
> Cheers
>
>
> --- End Message ---