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 this mail of course).


I just looked randomly and found 
https://gmplib.org/list-archives/gmp-devel/2004-April/000402.html for 
instance. Maybe it reappeared between your email and now?


Ah no sorry, please ignore my message, I misunderstood. It is the recent 
archives that are missing, not the old archives that recently 
disappeared...


--
Marc Glisse
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


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 randomly and found 
https://gmplib.org/list-archives/gmp-devel/2004-April/000402.html for 
instance. Maybe it reappeared between your email and now?


--
Marc Glisse
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs


mail archives are lost

2022-02-20 Thread Paul Zimmermann
   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
___
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs