Re: mail archives are lost

2022-02-21 Thread Torbjörn Granlund
Yes, the archiving function is not yet back. I will fix that as soon as I can find the time. -- Torbjörn Please encrypt, key id 0xC8601622 ___ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs

Re: mail archives are lost

2022-02-21 Thread Vincent Lefevre
On 2022-02-21 08:50:09 +0100, 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).

Re: mail archives are lost

2022-02-20 Thread Marc Glisse
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

2022-02-20 Thread Marc Glisse
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