On Wed, Dec 29, 1999 at 09:46:14AM +0100, Jordi Mallach wrote:
> Oh. The author just knew about this 2 or 3 days ago, and he is still
> pondering about the name change. Should there be any problem for an initial
> tip package release, and after change the name?

Yes, it's a lot more work for the archive maintainers.

Richard Braakman


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to