bug-gmp mailing list
karl at freefriends.org
Tue Jan 17 00:53:09 CET 2012
I have tried to have this situation addressed over the ten years we've
been in this situation;
If such things arise in the future, please write to mailman at gnu.org (or
maintainers at gnu.org).
but neither forwarding to the current list
I inserted the alias entry.
nor deletion of the bug-gmp list has happened.
For posterity's sake we don't want to delete it, but I disabled it from
future mail delivery and unadvertised it from the mailman listing.
Bruno, thanks for bringing this up. I had no idea.
More information about the gmp-discuss