> I've needed both of these patches for the new version of DejaGNU, > which is currently available in Debian/unstable. The second patch > is still in incoming and won't be installable until tomorrow.
Thanks. Ben
pgp5SJZfUldRQ.pgp
Description: PGP signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
