Vivien Kraus <viv...@planete-kraus.eu> skribis: > From fadbf75a7667cfb9e2a25024913373a53310d06c Mon Sep 17 00:00:00 2001 > From: Vivien Kraus <viv...@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’.
