Subject: [bug#63461] [PATCH] gnu: gnome: Remove gnome-boxes from default GNOME apps.

From: Josselin Poiret <[email-masked]>
Date: Fri, 07 Jul 2023 21:53:57 +0200

Hi everyone,

Josselin Poiret <[email-masked]> writes:

> From: Josselin Poiret <[email-masked]>
>
> * gnu/packages/gnome.scm (gnome): Remove gnome-boxes from propagated-inputs,
> since it is no longer a Core App in 42.
> ---
> Hi everyone,
>
> I noticed while reading [1] that Boxes was no longer required in GNOME, so
> here's a patch that does exactly that.
>
> [1] https://blogs.gnome.org/mcatanzaro/2023/05/10/gnome-core-apps-update/
>
> Best,
>
>  gnu/packages/gnome.scm | 1 -
>  1 file changed, 1 deletion(-)

Pushed as 4722496292ea282db7d1779bfada1e6a3813be99, along with the
removal of the corresponding uses of it in the gnome services.

Best,
-- 
Josselin Poiret