This patch includes no documentation. Please update the user manual where applicable and I can then take a closer look. I have no problems with the patch in principle.
Thanks, Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
