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
