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 55837d0e2010b9bd49533376b2510b252e4492fe (commit)
from de8b0ebac2874eddd547c19c7fdd0c38d3f0e667 (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 55837d0e2010b9bd49533376b2510b252e4492fe
Author: Ben Elliston <b...@gnu.org>
Date: Sat Apr 2 21:59:20 2016 +1100
* doc/dejagnu.texi: Fill paragraphs.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 4 +
doc/dejagnu.texi | 2770 +++++++++++++++++++++++-------------------------------
2 files changed, 1197 insertions(+), 1577 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
