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, dejagnu-1.6.3 has been updated
via 9539a1e2ffe8506b92bfcb4363c767e4bc6a0700 (commit)
from c95e2e9b567a1c3ca22b2de4fdcdfe4b99ba2a03 (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 9539a1e2ffe8506b92bfcb4363c767e4bc6a0700
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Thu Apr 15 23:36:45 2021 -0500
Avoid dependency on exit code from false(1) in dejagnu auxiliary launcher
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 8 ++++++++
dejagnu | 14 +++++++-------
2 files changed, 15 insertions(+), 7 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
