On Mon, Jun 11, 2012 at 11:43:11AM -0600, Tom Tromey wrote: > Here's an updated patch that also touches the man page.
Thanks, applied. Ben
signature.asc
Description: Digital signature
_______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
