I figure this list is smaller to spam than the others ... Can anyone give me a brief history on where dejagnu has gone? I did a cvs update and noticed it's gone. :-)