Hello, Torbjorn Granlund <[email protected]> skribis:
> [email protected] (Niels Möller) writes: > > Andy Wingo <[email protected]> writes: > > > One suggestion, if it's possible: it would be great if mini-gmp could > > make it to be part of gnulib at some point. > > It's main home will be the GMP repo and distributions. But that doesn't > exclude that it's also copied into gnulib, if that's convenient. > > We should make a VERY clear note in the file about the home position, > and that the file should better not be extended and put into gnulib, to > avoid incompatibility between two version. Gnulib has bits from libc, for example, and in that case the module file has “libc” in its “Maintainer” field. So I guess the maintainer of the mini-gmp module could be “gmp”. Thanks, Ludo.’
