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 thi
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 randoml
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
__