Hello,
Daniel Leidert wrote:
> Andreas Tille wrote:
>> in October last year there was a longish discussion about name space
>> pollution regarding plink. If you like to spend some time you should
>> read the complete log of #503367 [1].
>>
>> I decided to put an end now on this issue to make sure
On Fri, 3 Apr 2009, Steffen Moeller wrote:
we should ask the technical committee to rule over it. And maybe this
needs some voting in the end.
Who is this *we*? Do you volunteer?
IMHO plink should be renamed because it is way less popular than the
putty tool. So we will loose this voting any
2 matches
Mail list logo
