guix-devel
[Top][All Lists]
Advanced

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

Re: [PATCH 0/1] Remove an unused patch?


From: Andreas Enge
Subject: Re: [PATCH 0/1] Remove an unused patch?
Date: Sun, 6 Mar 2016 13:49:42 +0100
User-agent: Mutt/1.5.24 (2015-08-30)

On Sat, Mar 05, 2016 at 05:08:40PM -0500, Leo Famulari wrote:
> To make it more clear, what do you think about renaming the patch so it
> doesn't refer to cpio, and adding references to Rush and Dico in the
> patch?

Yes, I was thinking the same. But this is a very singular case, and now
everybody is aware of it, so it is maybe not necessary, but would still
be helpful.

I checked whether we could simply update dico and rush, but there are no
new versions.

Andreas




reply via email to

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