I did not get a comment on it, nor do I see it in CVS. Time for a ping. <URL:http://lists.gnu.org/archive/html/dejagnu/2005-01/msg00009.html>. Thanks.
brgds, H-P _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
