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 edbf39f2209148faf5b5f8decb76d6d254d807be (commit)
from d7401fea18aab6d9619a9c328da0f492115f4e39 (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 edbf39f2209148faf5b5f8decb76d6d254d807be
Author: Ben Elliston <b...@gnu.org>
Date: Wed Nov 11 07:58:02 2015 +1100
* doc/dejagnu.texi: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 +++
doc/dejagnu.texi | 60 ++++++++++++++++++++++++++++-------------------------
2 files changed, 36 insertions(+), 28 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
