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

From: Andreas Schwab <[email-masked]>
Date: Wed, 17 Jun 2020 16:48:06 +0200

On Jun 17 2020, Rob Savoye wrote:

>> 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

Do they?

$ telnet mail.gnu.org http
Trying 209.51.188.92...
telnet: connect to address 209.51.188.92: Connection refused

Andreas.

-- 
Andreas Schwab, SUSE Labs, [email-masked]
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."