On Mon, Jun 13, 2016 at 10:45 AM, Ludovic Courtès <l...@gnu.org> wrote: > Leo Famulari <l...@famulari.name> skribis: > >> On Sat, Jun 11, 2016 at 09:29:54PM -0400, David Thompson wrote: >>> * gnu/packages/gnome.scm (gnome-shell-extensions): New variable. >> >> Cool. Should it be part of the GNOME meta-package? > > Good point. The patch LGTM regardless of the answer to that question.
Pushed. I think it would be good to add to the gnome metapackage, but I haven't been that involved in the GNOME packaging project so I'll let someone else make that executive decision. Thanks! - Dave
