Hosting Provided By

Re: Port name change, how should it be handled?

From: Peter Valchev <pvalchev(at)sightly.net>
Date: Tue Jan 14 2003 - 16:00:57 EST

> One of the ports I'm the maintainer of, has changed it's name. It's the

Yes, it seems to me that for such a major change re-importing it under a different name would make the most sense... Received on Tue Jan 14 16:02:19 2003

This message: [ Message body ]
Next message: Björn Sandell: "RFC: MPlayer"
In reply to Srebrenko Sehic: "Port name change, how should it be handled?"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Wed Aug 23 2006 - 13:39:08 EDT