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 73db65f5379532d038cb65b45c56f8d8f765286a (commit) from 9fc0c958ddcb30d27dac36bd1de8636579778f9c (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 73db65f5379532d038cb65b45c56f8d8f765286a Author: Brooks Moses <bmo...@google.com> Date: Fri Nov 20 09:21:04 2015 +1100 * config/unix.exp: Add ability to set test timeout from site.exp. * doc/user.xml: Document new test_timeout variable in site.exp. * doc/dejagnu.texi: Regenerate. Signed-off-by: Ben Elliston <b...@gnu.org> ----------------------------------------------------------------------- Summary of changes: ChangeLog | 6 ++++++ config/unix.exp | 8 +++++++- doc/dejagnu.texi | 6 ++++++ doc/user.xml | 6 ++++++ 4 files changed, 25 insertions(+), 1 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit