> Does anyone really use this? :-) Patch is pretty obvious. Applied; thanks.
Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org http://lists.gnu.org/mailman/listinfo/dejagnu
