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

[Tom de Vries]

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/
dejagnu@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-commit@gnu.org: 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