Is there any interest for getting an email for each commit into the GMP repository? Please reply to me privately if you are interested (no need to make noise on the list about it). I'll add a gmp-commits mailing list if there is interest. -- Torbjörn