Re: mail archives are lost

On Mon, 21 Feb 2022, Marc Glisse wrote: On Mon, 21 Feb 2022, Paul Zimmermann wrote: not sure this is the best place to report. Since November 2021, the archives of the GMP mailing lists are no longer available. This is a pity since those archives contain a lot of useful information (except

Re: mail archives are lost

On Mon, 21 Feb 2022, Paul Zimmermann wrote: not sure this is the best place to report. Since November 2021, the archives of the GMP mailing lists are no longer available. This is a pity since those archives contain a lot of useful information (except this mail of course). I just looked

mail archives are lost

Hi, not sure this is the best place to report. Since November 2021, the archives of the GMP mailing lists are no longer available. This is a pity since those archives contain a lot of useful information (except this mail of course). Best regards, Paul