nisse at 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