Dear all, this mailing list has been moved to a new server and all the settings and users have been copied (except passwords). Since the e-mail address has not changed, you can continue using the list as before.
To edit your settings (including password), go to
http://lists.robocup.org/cgi-bin/mailman/listinfo/robocup-athome
enter your e-mail address in the Subscribers section in the textfield close to the button 'Unsubscribe or edit options' click the button and follow the instructions in the next page.
The old list (with old passwords) is reachable at http://oldlists.robocup.org/admin.cgi/robocup-athome-robocup.org You can read and backup old messages, but the list cannot be used anymore to send/receive e-mails. During navigation of the old lists, you may need to manually replace lists.robocup.org with oldlists.robocup.org in some URLs.
If you have any question or problem, do not hesitate to contact me.
Best regards, Luca.