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]