bug#67181: closed ([PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2.)

[GNU bug Tracking System]

Your message dated Sun, 19 Nov 2023 09:53:25 +0100
with message-id <47f8d4350474fb596bf61f71adb0d7fc27c19014.camel@gmail.com>
and subject line Re: [bug#67181] [PATCH gnome-team] gnu: webkitgtk: Update to 
2.42.2.
has caused the debbugs.gnu.org bug report #67181,
regarding [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2.
to be marked as done.

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


-- 
67181: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67181
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH gnome-team] gnu: webkitgtk: Update to 2.42.2.
>
>
>
>
> Date: 
>
> Tue, 14 Nov 2023 16:50:53 -0500
>
>
>
>
> * gnu/packages/webkit.scm (webkitgtk): Update to 2.42.2.
>
> Change-Id: Id2a0cd7ec512a088ba6faf1a0eb7e7b500d95f7e
> ---
>  gnu/packages/webkit.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm
> index 7e0370abc0..527195dbff 100644
> --- a/gnu/packages/webkit.scm
> +++ b/gnu/packages/webkit.scm
> @@ -127,13 +127,13 @@ (define-public wpebackend-fdo
>  (define-public webkitgtk
>    (package
>      (name "webkitgtk")
> -    (version "2.42.1")
> +    (version "2.42.2")
>      (source (origin
>                (method url-fetch)
>                (uri (string-append "https://www.webkitgtk.org/releases/";
>                                    name "-" version ".tar.xz"))
>                (sha256
> -               (base32 "1694dnqrjzcqh1hlpqspqz5xxvfd77af33f410ffaglxk34zlhbg"))
> +               (base32 "066i1dswmrgvxfb1fyv93pkkl8zqy16ps62j6bvbkw97hqzal82p"))
>                (patches (search-patches
>                          "webkitgtk-adjust-bubblewrap-paths.patch"))))
>      (build-system cmake-build-system)
>
> base-commit: 72e886328c14c832b2ed71c400069b63852ee18d
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [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
>
>
> --- End Message ---