Bug#503367: [Debian-med-packaging] Bug#503367: Again: Bug#503367: plink: file conflict with putty-tools

2009-04-05 Thread Morten Kjeldgaard
On 03/04/2009, at 19.04, Steffen Moeller wrote: I personally think that we should not rename it. And putty's plink should not be renamed either. The two are in a technical conflict, though with little practical consequences. To me, this situation is preferable over the renaning of the

Bug#503367: [Debian-med-packaging] Bug#503367: Again: Bug#503367: plink: file conflict with putty-tools

2009-04-05 Thread Colin Watson
On Sun, Apr 05, 2009 at 05:57:37PM +0200, Morten Kjeldgaard wrote: On 03/04/2009, at 19.04, Steffen Moeller wrote: I personally think that we should not rename it. And putty's plink should not be renamed either. The two are in a technical conflict, though with little practical consequences.