4.1.3 PATCH: Fix configure error for IRIX 5/IRIX 6 O32 (resend)

[Rainer Orth]

Kevin Ryde writes:

> 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 :-).

So it's intentional to leave bug-gmp at gnu.org as the primary bug reporting
address in the sources, even though the GMP web site indicates otherwise?

	Rainer