[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 5/7] gnu: Add spice.

From: Leo Famulari
Subject: Re: [PATCH 5/7] gnu: Add spice.
Date: Thu, 28 Jul 2016 17:09:35 -0400
User-agent: Mutt/1.6.0 (2016-04-01)

On Sun, Jul 24, 2016 at 07:52:28PM +0200, David Craven wrote:
> * gnu/packages/spice.scm: Add it.

> +(define-public spice

As discussed, your original choices regarding propagation were correct
(sorry I wasted your time!).

So, I re-propagated those inputs in this patch, keeping the celt051
comment and the license list.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]