bug-gmp mailing list

[Karl Berry]

    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.

Best,
karl