Hi. Not sure what I personally think of the usrmove, but there is no point in being un-accommodating. I'll apply this, thanks.
Ben _______________________________________________ DejaGnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/dejagnu
