> This looks fine, thanks. Thanks (and sorry for the duplicate). Can you apply it when you have time?
-- Eric Botcazou _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
