[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add gnome-shell-extensions.
From: |
Thompson, David |
Subject: |
Re: [PATCH] gnu: Add gnome-shell-extensions. |
Date: |
Mon, 13 Jun 2016 19:25:12 -0400 |
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.
Thanks!
- Dave