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 a9eae8991b049723e6bae7af635011c8935fd45c (commit) from 50ea9cf48dfb61c3de5f4393dea15eae63dea462 (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 a9eae8991b049723e6bae7af635011c8935fd45c Author: Ben Elliston <b...@gnu.org> Date: Tue Aug 1 19:27:41 2017 +1000 * runtest.exp (usage): --reboot doesn't take a 'name' parameter. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 4 ++++ runtest.exp | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit