Rainer Orth <ro at TechFak.Uni-Bielefeld.DE> writes: > > I just came across the statement on http://www.swox.com/gmp/ that the old > bug reporting mailing list bug-gmp at gnu.org is obsolete and bug reports > should be sent to this list. Both work :-).