bug#51808: closed ([PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use webkit2 4.1)

[GNU bug Tracking System]

Your message dated Mon, 15 Nov 2021 12:17:09 +0100
with message-id <87pmr1653e.fsf@gnu.org>
and subject line Re: bug#51808: [PATCH] Devhelp: On core-updates-frozen, 
upgrade to 41.2 to use webkit2 4.1
has caused the debbugs.gnu.org bug report #51808,
regarding [PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use 
webkit2 4.1
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use webkit2 4.1 Date: Sat, 13 Nov 2021 10:39:58 +0000

Dear guix,

devhelp 41 gained support for building against webkit2 4.1. I think we
should upgrade, right?

Vivien

0001-gnu-devhelp-Upgrade-to-41.2.patch
Description: Upgrade devhelp to 41.2

signature.asc
Description: PGP signature

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#51808: [PATCH] Devhelp: On core-updates-frozen, upgrade to 41.2 to use webkit2 4.1
>
>
>
>
> Date: 
>
> Mon, 15 Nov 2021 12:17:09 +0100
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
>
>
>
>
> Vivien Kraus <vivien@planete-kraus.eu> skribis:
>
> > From fadbf75a7667cfb9e2a25024913373a53310d06c Mon Sep 17 00:00:00 2001
> > From: Vivien Kraus <vivien@planete-kraus.eu>
> > Date: Sat, 13 Nov 2021 10:35:26 +0000
> > Subject: [PATCH] gnu: devhelp: Upgrade to 41.2.
> >
> > * gnu/packages/gnome.scm (devhelp): Upgrade to 41.2 to upgrade the webkit
> > dependency to 4.1.
> > * gnu/packages/gnome.scm (devhelp) [arguments]: Use meson 0.59.
> > * gnu/packages/gnome.scm (devhelp) [phase skip-gtk-update-icon-cache]: the
> > post install script has been moved from meson_post_install.py to
> > build-aux/meson/.
> > * gnu/packages/gnome.scm (devhelp) [phase fix-devhelp-gir-inputs]: the devhelp
> > GIR still mentions webkit 4.0, use 4.1 instead.
> > ---
> >  gnu/packages/gnome.scm | 16 +++++++++++-----
> >  1 file changed, 11 insertions(+), 5 deletions(-)
>
> I tweaked the commit log and applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---