Subject: Re: bug#41823: broken links in https://www.gnu.org/software/dejagnu/#lists
From: Rob Savoye <[email-masked]>
To: Tom de Vries <[email-masked]>, [email-masked]
Date: Wed, 17 Jun 2020 10:21:13 -0600
List-Id: <debbugs-submit.debbugs.gnu.org>

I fixed the links on the webpage, after remembering how to use CVS...

	- rob -