Change of address for OLPC mailing lists

[Ivan Krstić]

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. devel at laptop.org) will keep working for the
foreseeable future, please send new list mail to the full list address
(devel at lists.laptop.org) instead.

Cheers,

-- 
Ivan Krstić <krstic at solarsail.hcs.harvard.edu>