I finally moved us to a new mail server setup a few hours ago. As a side effect, mailing lists are now hosted at @lists.laptop.org, so any existing filters you have set up will likely need to be updated. Though legacy addresses (e.g. [EMAIL PROTECTED]) will keep working for the foreseeable future, please send new list mail to the full list address ([email protected]) instead.
Cheers, -- Ivan Krstić <[EMAIL PROTECTED]> _______________________________________________ Devel mailing list [email protected] http://lists.laptop.org/listinfo/devel
