DejaGNU

Eli Zaretskii
2006-12-30T17:56:40Z

gdb/README says that DejaGNU can be found on
ftp://sources.redhat.com/pub/dejagnu/, but there's no directory
pub/dejagnu on the sourceware FTP site. What is the right place to
look for it, and should README be fixed to point to that place?