bug#41823: broken links in https://www.gnu.org/software/dejagnu/#lists

[Rob Savoye]

On 6/12/20 2:14 AM, Tom de Vries wrote:

> I get "Cannot connect to mail.gnu.org" for the following links found
> here ( https://www.gnu.org/software/dejagnu/#lists ).

  I'm a little confused on what this bug actually is. Do you mean you
couldn't get an SMTP connection to mail.gnu.org ?

> Archives: http://mail.gnu.org/pipermail/
> dejagnu@gnu.org: http://mail.gnu.org/pipermail/dejagnu/
> subscribe: http://mail.gnu.org/mailman/listinfo/dejagnu
> bug-dejagnu@gnu.org: http://mail.gnu.org/pipermail/bug-dejagnu
> subscribe: http://mail.gnu.org/mailman/listinfo/bug-dejagnu
> dejagnu-commit@gnu.org: http://mail.gnu.org/pipermail/dejagnu-commit
> subscribe: http://mail.gnu.org/mailman/listinfo/dejagnu-commit

  All of these links work, so I'm not sure what I'm supposed to fix.

        - rob -