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

From: Ludovic Courtès <[email-masked]>
Date: Wed, 24 May 2023 12:10:08 +0200

Hi,

Josselin Poiret <[email-masked]> skribis:

> 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.

I’m all for it!  I also noticed that notably during the ‘core-updates’
cycle, and I think it’s just too much, as GNOME developers acknowledged
by removing it from the “core apps”.

Ludo’.