[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: Add gnome-shell-extensions.
|
From: |
Ludovic Courtès |
|
Subject: |
Re: [PATCH] gnu: Add gnome-shell-extensions. |
|
Date: |
Mon, 13 Jun 2016 16:45:09 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.5 (gnu/linux) |
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.
Ludo’.