[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#67472] [PATCH gnome-team] gnu: yelp: Update to 42.2.
|
From: |
Maxim Cournoyer |
|
Subject: |
[bug#67472] [PATCH gnome-team] gnu: yelp: Update to 42.2. |
|
Date: |
Sun, 03 Dec 2023 20:12:17 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hello,
Vivien Kraus <vivien@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@gmail.com>
--
Thanks,
Maxim
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [bug#67472] [PATCH gnome-team] gnu: yelp: Update to 42.2.,
Maxim Cournoyer <=