[Dejagnu-commit] [SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-682-gdfbd0b4

[Rob Savoye]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".

The branch, master has been updated
       via  dfbd0b4bbda05a28baabde9e0487afe6063b2e9b (commit)
      from  a0fc110b7ed05f19a1c9fff3adb3719d32fac315 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit dfbd0b4bbda05a28baabde9e0487afe6063b2e9b
Author: Jacob Bachmeyer <address@hidden>
Date:   Thu May 21 16:27:48 2020 -0600

    Explicitly list optional arguments instead of simply copying the Tcl 
argument list for the remote_exec procedure.

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog        |  6 ++++++
 doc/dejagnu.texi | 29 ++++++++++++++++++-----------
 2 files changed, 24 insertions(+), 11 deletions(-)


hooks/post-receive
-- 
DejaGNU