Zimmermann Paul paul.zimmerm...@loria.fr writes:
the gmp-devel list is for Technical discussions between developers. We have
seen recently several patches posted, which I believe do no match the list
definition. If there is no other way to transfer source code, maybe one should
create a gmp
On 2013-03-06 09:53:05 +0100, Paul Zimmermann wrote:
Niels,
We need a forum for both posting patches, and discussing the same
patches. To me, it seems easiest to have both on the same list.
however maybe not all people on gmp-devel are interested by the
detail of all patches and
