>  dejagnu/
> -    Notify http://dejagnu.sourceforge.net/ of generic changes.
> -    Generic patches to gdb-patches@sources.redhat.com;
> +    Notify http://www.gnu.org/software/dejagnu/ of generic changes.
> +    Generic patches to bug-dejagnu@gnu.org;
>      Other dependents of dejagnu include sid@, binutils@, gcc@, etc.
> 
> FYI, the gdb-patches@ reference is for changes being committed to the local (on sources) not official (on savana) version of dejagnu.  I believe that reference should also.  I'll update the top level MAINTAINERS file accordingly.
> 
> Andrew 

FYI,  I've checked into the src repository.  Hopefully it helps.

Andrew