[Pharo-dev] DNS change for lists.pharo.org

Hi, Our provider moved the mailinlists (lists.pharo.org <http://lists.pharo.org/>) to a new server (some new cloud based solution). I did the DNS change just now, but it should not have any impact other than some mails are delivered via the old system until the change propagates everywhere (and I guess in some case we could have some not show up in the archive). Marcus