t...@gmplib.org (Torbjörn Granlund) writes: > I will create a separate ChangeLog in mini-gmp's subdirectory and move > mini-gmp entries into it.
Should we also drop the "mini-gmp/" prefix from files named in that ChangeLog? > I think we should also consider making mini-gmp a separate GNU > project. Doing that might be good for its visibility, and also make > users realise that it is in fact a separate project with different > development principles and quality requirements. What would such a separation mean in practice? We could do separate releases (release announcements are always good for visibility) and a separate version number. But I think I'd prefer to keep it in the the main gmp repo, and I hope we'll sort out the testing issues in a week or two so it can benefit from gmp's testing infrastructure. /Niels -- Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677. Internet email is subject to wholesale government surveillance. _______________________________________________ gmp-devel mailing list gmp-devel@gmplib.org https://gmplib.org/mailman/listinfo/gmp-devel
