On 02/25/2012 11:06 AM, Ben Elliston wrote:
Not sure what I personally think of the usrmove,
Yeah, I see :)
but there is no point in being un-accommodating. I'll apply this, thanks.
Thank you, too. Honza _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
