[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