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

[Kevin Ryde]

Rainer Orth <ro at TechFak.Uni-Bielefeld.DE> writes:
>
> 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?

Well, bug-gmp has to stay because it's a gnu convention, but Torbjorn
can filter spam from gmp-bugs.  I don't know which ought to be called
the primary address, both work.