ni...@lysator.liu.se (Niels Möller) writes: Should we also drop the "mini-gmp/" prefix from files named in that ChangeLog? That would be a bit neater.
-- Torbjörn Please encrypt, key id 0xC8601622 _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
