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

[Kevin Ryde]

Torbjorn Granlund <tg at swox.com> writes:
>
> How much spam arrives to bug-gmp at gnu.org now?

Judging by news.gmane.org:gmane.comp.lib.gmp.bugs it's a fair bit, but
not flooded.

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

Oh, well, it's just about which you want to tell people to post.