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 d37c15b4d569a3d70493653efe82a78c3550e903 (commit) via 205b28531d6df621e624137ea1bf914225956cb8 (commit) via 6a5b5861457230cc9ff5e01dc2ad3e1435051b93 (commit) from 9533507ea4ad9addd4b593bcf1004496f4b22da4 (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 ----------------------------------------------------------------- ----------------------------------------------------------------------- Summary of changes: ChangeLog | 10 ++++++++++ runtest.exp | 4 ++-- testsuite/lib/launcher.exp | 3 ++- testsuite/lib/report-card.exp | 3 ++- testsuite/runtest.main/options.exp | 2 +- 5 files changed, 17 insertions(+), 5 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit