On 11/05/2013 04:43 AM, Alexander Ivchenko wrote: > What's the next step for the patch? Given your OK, could you please > submit it?
Sorry, I've been traveling to conferences. Yeah, I'll commit it, feel free to nag me if I don't do it this week. - rob - _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu