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 9db682553ffc188b81b98d2846bb1b9ad49b2330 (commit) via 20217bbefedc18be8e78db68950982371a231285 (commit) via 3a454e64414c9cade53c4dbf40628891be53b6b6 (commit) from 0de61cd83130074a48c2a60b17af3c3f9ec0aeb6 (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 9db682553ffc188b81b98d2846bb1b9ad49b2330 Author: Ben Elliston <b...@gnu.org> Date: Mon Apr 4 22:48:08 2016 +1000 * doc/dejagnu.texi: More overhauling. commit 20217bbefedc18be8e78db68950982371a231285 Author: Ben Elliston <b...@gnu.org> Date: Mon Apr 4 22:47:16 2016 +1000 * lib/targetdb.exp (set_board_info): Improve comment. (add_board_info): Likewise. commit 3a454e64414c9cade53c4dbf40628891be53b6b6 Author: Ben Elliston <b...@gnu.org> Date: Mon Apr 4 18:12:16 2016 +1000 * NEWS: Add some more detail. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 13 ++ NEWS | 4 +- doc/dejagnu.texi | 392 +++++++++++++++++++++++++++-------------------------- lib/targetdb.exp | 6 +- 4 files changed, 218 insertions(+), 197 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit