We have a gmp-bugs mailing list for GMP bug reports. Please dont follow up further to the -devel list. I will reply to gmp-bugs.
-- Torbjörn Please encrypt, key id 0xC8601622 _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel