mailing list server maintenance

[gilles]

Hello,

A maintenance is in progress on the mailing list server, there may be minor 
delays today

Gilles