On Mon, Jun 13, 2016 at 07:25:12PM -0400, Thompson, David wrote: > 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.
宋文武, what do you think?
