bug-gmp mailing list

Karl Berry 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 mailing list