On Jun 17 2020, Rob Savoye wrote:

>> Archives: http://mail.gnu.org/pipermail/
>> deja...@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-com...@gnu.org: 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, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE  1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."



_______________________________________________
Bug-dejagnu mailing list
Bug-dejagnu@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-dejagnu

Reply via email to