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

[Torbjorn Granlund]

Kevin Ryde <user42 at zip.com.au> writes:

  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.

I don't read bug-gmp at gnu.org.  I think we should point people to
gmp-bugs at swox.com in the manual and elsewhere.

How much spam arrives to bug-gmp at gnu.org now?  Perhaps one could
subscribe gmp-bugs to bug-gmp, and tell people to just read the
former.  gmp-bugs is, after all, 100% spam-free.

-- 
Torbjörn