bug-gmp mailing list

[Bruno Haible]

Hi,

There is a gmp-bugs mailing list, at gmplib.org, and an old bug-gmp list
at gnu.org. The project page http://gmplib.org/#MAILINGLISTS says so.
But as you can see from the archives
  https://lists.gnu.org/archive/html/bug-gmp/
there are still people occasionally posting there, and they get no answer.

How about creating a mail alias that routes from bug-gmp gnu.org
to gmp-bugs gmplib.org? This could be done easily within a single
line in fencepost.gnu.org:/com/mailer/aliases .

Bruno