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 <jcb62281+...@gmail.com>
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
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
