Mailing list server migration (3 replies)

Hi all,

Today we've been working with Benoit to migrate the mailing list server to
one that's supposed to last longer (ie: not EOLed for the last 2 years :-)).

The mailing list still works on the new one, we've kept exactly the same
configuration. The only difference you may observe is that the e-mails
used to come from flx02.formilux.org (195.154.117.161) and will now come
from flx04.formilux.org (51.15.8.218).

I'm purposely sending this message *before* the migration so that nobody
misses it. I'll send a confirmation after the migration by responding to
this message, so if in a few hours you don't get a response to this message,
do not hesitate to contact me directly.

The previous server will remain active for some time so that we smoothly
cover DNS propagation for everyone.

Thanks,
Willy