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

From: Rob Savoye <[email-masked]>
Date: Wed, 17 Jun 2020 10:21:13 -0600

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

	- rob -