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

From: Tom de Vries <[email-masked]>
Date: Fri, 12 Jun 2020 10:14:56 +0200

Hi,

I get "Cannot connect to mail.gnu.org" for the following links found
here ( https://www.gnu.org/software/dejagnu/#lists ).

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

I found the archive of bug-dejagnu here (
https://lists.gnu.org/archive/html/bug-dejagnu/ ).

Thanks,
- Tom