mailing lists problems

Hi there,

For some yet unknown reason, the mailing lists were down for at least
the first 20 days of August. Nobody complained privately, so I think
most of you were probably on holidays as well during this time.

All should be back online now.

Sorry for the inconvenience.

Jerome Alet