Hi all, the vote to merge the Ant and Ivy dev lists has passed, so I'll file a new JIRA ticket with the following steps:
1) move [EMAIL PROTECTED] to [EMAIL PROTECTED] keeping all subscribers 2) shut down [EMAIL PROTECTED], forward any mails going there to [EMAIL PROTECTED] for a few months. People are supposed to subscribe to [EMAIL PROTECTED] manually (which everybody has done anyway now). 3) shut down [EMAIL PROTECTED], forward any mails going there to [EMAIL PROTECTED] for a few months. I'll ask whether it is possible to automatically subscribe the current subscribers to [EMAIL PROTECTED] 4) shut down [EMAIL PROTECTED], forward any mails going there to [EMAIL PROTECTED] for a few months. People are supposed to subscribe to [EMAIL PROTECTED] manually. This certainly implies that [EMAIL PROTECTED] has been created by then. Does anybody see any mistakes in this? Stefan --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
