--- Оригінальне повідомлення ---
Від кого: "Marco Bodrato" <bodr...@mail.dm.unipi.it>
Дата: 16 травня 2018, 09:41:23


> Tested, and pushed.
>
> https://gmplib.org/repo/gmp/rev/9da2c35e811c


It works fine. Thanks to all involved!


But shouldn't GMP testsuite be updated too, as Paul Zimmermann suggested:
https://gmplib.org/list-archives/gmp-bugs/2018-January/004279.html




Best,


Alexander



_______________________________________________
gmp-bugs mailing list
gmp-bugs@gmplib.org
https://gmplib.org/mailman/listinfo/gmp-bugs

Reply via email to