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 de48b490c3a7a7cc00feac188e9a43e02b48d5ae (commit) from 76d84d66fe80f7d7e96121eb94c68611ae1bd558 (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 de48b490c3a7a7cc00feac188e9a43e02b48d5ae Author: Ben Elliston <b...@gnu.org> Date: Thu Feb 14 17:00:23 2013 +1100 Tidy up Rob's latest ChangeLog entry. ----------------------------------------------------------------------- Summary of changes: ChangeLog | 10 +++++----- 1 files changed, 5 insertions(+), 5 deletions(-) hooks/post-receive -- DejaGNU _______________________________________________ Dejagnu-commit mailing list Dejagnu-commit@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu-commit