Hi Anton Thanks. The patch is small enough to accept without a copyright assignment, but please re-send it with updated documentation (see doc/ref.xml).
Cheers, Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
