Ciao, Il Mer, 30 Novembre 2016 7:08 am, Niels Möller ha scritto: > I think it will be easier for us to keep track if we copy head mini-gmp I hope I did it correctly. > (except the ChangeLog file which now needs special handling). Not done yet. -- http://bodrato.it/