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

From: Rob Savoye <[email-masked]>
Date: Wed, 17 Jun 2020 08:21:52 -0600

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/
> [email-masked]: http://mail.gnu.org/pipermail/dejagnu/
> subscribe: http://mail.gnu.org/mailman/listinfo/dejagnu
> [email-masked]: http://mail.gnu.org/pipermail/bug-dejagnu
> subscribe: http://mail.gnu.org/mailman/listinfo/bug-dejagnu
> [email-masked]: 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 -