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 9d54ead2689ec19e20530792a0b978894ee26500 (commit) from ef5f4a8c80f8d652e5415d0fdb159dcf51af52d3 (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 9d54ead2689ec19e20530792a0b978894ee26500 Author: Ben Elliston <b...@gnu.org> Date: Sun Feb 14 14:53:59 2016 +1100 * doc/runtest.1: Tweak. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 4 ++++ doc/runtest.1 | 2 +- 2 files changed, 5 insertions(+), 1 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit