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
