[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add gnome-shell-extensions.
|
From: |
Leo Famulari |
|
Subject: |
Re: [PATCH] gnu: Add gnome-shell-extensions. |
|
Date: |
Mon, 13 Jun 2016 20:14:15 -0400 |
|
User-agent: |
Mutt/1.6.0 (2016-04-01) |
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 <address@hidden> wrote:
> > Leo Famulari <address@hidden> 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?