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 c95e2e9b567a1c3ca22b2de4fdcdfe4b99ba2a03 (commit)
from 353bbb6823ca81022b8fced3adf0b9cfb1f4faaf (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 c95e2e9b567a1c3ca22b2de4fdcdfe4b99ba2a03
Author: Jacob Bachmeyer <j...@gnu.org>
Date: Wed Apr 14 21:13:11 2021 -0500
Use shell "case" for pattern matching in dejagnu auxiliary launcher
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 7 +++++++
dejagnu | 8 ++------
2 files changed, 9 insertions(+), 6 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
