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 c4740e8100fffcc1945762803b46539f47eebea1 (commit) from 992fbc3a8f03c3cd5e554eea5361f1a531e9e71f (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 c4740e8100fffcc1945762803b46539f47eebea1 Author: Ben Elliston <b...@gnu.org> Date: Sat Feb 20 12:36:29 2016 +1100 * lib/utils.exp: Improve comments. * NEWS: Update. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 5 +++++ NEWS | 5 +++++ lib/utils.exp | 11 +---------- 3 files changed, 11 insertions(+), 10 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit