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

Andreas Schwab <[email protected]> Wed, 17 Jun 2020 16:48:06 +0200
Newsgroups gmane.comp.sysutils.dejagnu.bugs
Message-ID <[email protected]>
On Jun 17 2020, Rob Savoye wrote:

>> Archives: http://mail.gnu.org/pipermail/
>> [email protected]: http://mail.gnu.org/pipermail/dejagnu/
>> subscribe: http://mail.gnu.org/mailman/listinfo/dejagnu
>> [email protected]: http://mail.gnu.org/pipermail/bug-dejagnu
>> subscribe: http://mail.gnu.org/mailman/listinfo/bug-dejagnu
>> [email protected]: 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 protected]
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."



_______________________________________________
Bug-dejagnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-dejagnu