GNU bug report logs - #67472
[PATCH gnome-team] gnu: yelp: Update to 42.2.

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Mon, 27 Nov 2023 01:37:01 UTC

Severity: normal

Tags: patch

Done: Vivien Kraus <vivien <at> planete-kraus.eu>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: rg <at> raghavgururajan.name, liliana.prikler <at> gmail.com, 67472 <at> debbugs.gnu.org
Subject: [bug#67472] [PATCH gnome-team] gnu: yelp: Update to 42.2.
Date: Sun, 03 Dec 2023 20:12:17 -0500

Hello,

Vivien Kraus <vivien <at> planete-kraus.eu> writes:

> * gnu/packages/gnome.scm (yelp): Update to 42.2.
> [inputs]: Add bash-minimal and gtk+.  Replace webkitgtk with
> webkitgtk-for-gtk3.
>
> Change-Id: Iea3fa0c9eb527b0de691809a19fce7654261e827

Reviewed-by: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

-- 
Thanks,
Maxim
This bug report was last modified 1 year and 260 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.