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